-ecc introduces an undefined variable
|
|
Bugzilla Link |
417 |
Created on |
Apr 16, 2008 12:49 |
Resolution |
FIXED |
Resolved on |
Apr 16, 2008 16:05 |
Version |
1.00beta |
OS |
Linux |
Architecture |
PC |
Attachments |
ecc_error.sac |
Extended Description
Created an attachment (id=466)
src code
as of revision 15688 the debug version leads to an undefined variable
on specialising ++:: int[4] -> int[.]
compilation with -ecc yields:
** 9: Creating Wrapper Code and Eliminating User-Defined Types ...
**** Creating Wrapper Bodies ...
**** Eliminating conditionals in wrapper code ...
**** Establishing static single assignment form in wrapper code ...
**** Trying to dispatch functions statically ...
**** Eliminating User-Defined Types ...
**** Inserting Conformity Checks ...
**** Running type inference system ...
ABORT: line 93 file: ArrayTransform.sac
ABORT: Cannot infer type for _idc_502 as it may be used without a previous
ABORT: definition