IVE in SSACYC gets Cond-fun confused when -nocf
|
|
Bugzilla Link |
872 |
Created on |
Sep 08, 2011 23:41 |
Resolution |
DUPLICATE |
Resolved on |
Oct 10, 2011 18:39 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
funny.sac |
Extended Description
Created an attachment (id=819)
source code to reproduce failure
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 17609:MODIFIED linux-gnu_x86_64
(Thu Sep 8 17:11:09 EDT 2011 by sac)
sac2c -nocf funny.sac -nocyc
**** Symbolic array attribute cycle 2 pass: 1
****** Optimizing regular function:
****** _MAIN::main( ): ...
Inserting symbolic array attributes ...
Eliminating index vectors (split selections) ...
Eliminating common subexpressions ...
Inferring loop invariant variables ...
Applying type upgrade ...
ERROR: line 32 file: funny.sac
ERROR: loop variable "_isaa_1428_X" is being used inconsistently in function
ERROR: _dup_1280_indsx1__Cond_3; conflicting types are int[.] and #2174: in
ERROR: [ --, int[2]] le <> ge <>
In Cond_3, _isaa_1428_X is int[.]. In the calling environment, it is
int[.].
To be continued...