tjck.sac breaks in cyc:ebt
|
|
Bugzilla Link |
605 |
Created on |
Nov 23, 2009 15:34 |
Resolution |
FIXED |
Resolved on |
Nov 25, 2009 10:54 |
Version |
1.00beta |
OS |
Linux |
Architecture |
PC |
Attachments |
tjck.sac |
Extended Description
Created an attachment (id=611)
Source code to cause crash
This is new behavior, post-Loch Ness. Fails in cycle 5 of cyc:
****** Optimizing regular function:
****** _MAIN::main( hidden(2), hidden(3), hidden(1)): ...
Applying common subexpression elimination ...
Inferring loop invariant variables ...
Applying type upgrade ...
Eliminating Type Variables ...
Eliminating Bottom Types ...
ERROR: line 222
ERROR: shape expression (shape: int[0,0]{}) and generator boundaries of
ERROR: genarray with loop (shape: int[0]) must have identical shapes.
ERROR: line 222
ERROR: shape expression of genarray with loop should be an integer vector;
ERROR: type found: int[0,0]{}
ERROR: line 222
ERROR: shape expression (shape: int[0,0]{}) and generator boundaries of
ERROR: genarray with loop (shape: int[0]) must have identical shapes.
ERROR: line 222
ERROR: shape expression of genarray with loop should be an integer vector;
ERROR: type found: int[0,0]{}
ERROR: line 661
ERROR: -- in _MAIN::_dup_29588__11764__465__457_BjckIID__Loop_0( int{0},
ERROR: int{299...}, double{0.0...}, double{0.0...}, int{2},
ERROR: int[1]{300...})
*** Compilation failed ***
*** Exit code 74 (Running SAC optimizations)
*** 1 Error(s), 0 Warning(s)
apex@rattler:~/apex2003/benchmks/tjck$ sac2c -V
sac2c v1.00-beta (Buchette d'Anjou)
product rev 16617:MODIFIED linux-gnu_x86_64
(Mon Nov 23 09:41:26 EST 2009 by sac)
apex@rattler:~/apex2003/benchmks/tjck$ sac2c-d tjck.sac -v4