ABORT: Could not infer proper type for arg _flat_6
|
|
Bugzilla Link |
439 |
Created on |
Jun 20, 2008 21:49 |
Resolution |
FIXED |
Resolved on |
Aug 07, 2008 20:03 |
Version |
1.00beta |
OS |
Linux |
Architecture |
PC |
Extended Description
I get the following failure when compiling this with no explicit sac2c options:
****** Optimizing loop function:
****** _MAIN::_dup_317_______main__Loop_0( #0: in [ --, --] le <> ge <>,
#0: in [ --, --] le <> ge <>, ...): ...
ABORT: Could not infer proper type for arg _flat_6
*** Compilation failed ***
*** Exit code 71 (Running SAC optimizations)
*** 1 Error(s), 0 Warning(s)
------------------------------------
int main()
{
q=5;
for (i=0; _lt_SxS_(i,2); i=_add_SxS_(i,1)) {
for (j = 0; _lt_SxS_(j,1) ; j= _add_SxS_(j,1)){
q=j;
}
}
return(q);
}
--------------------------------------
The failure appears to be somewhere in the constant folder,
as it goes away if I disable: CFfuncond, CFcondThen, CFcondElse,
and CFcond.
The failure still happens with -noprelude, which shortens the generated code a fair bit.