-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