Type chekker kan't kount
Bugzilla Link | 310 |
Created on | Oct 22, 2006 21:45 |
Resolution | FIXED |
Resolved on | Oct 23, 2006 17:00 |
Version | 1.00beta |
OS | Linux |
Architecture | PC |
Attachments | crud.sac |
Extended Description
I tried to enable WLfusion to see if it handles the simple case of: A = iota (n); B = A+0.01; where A has a later use in the program. [I presume that if there were no other uses of A, it would be folded properly...] Without WLFS enabled, the above generates two WLs. IF I enable WLFS, it crashes sac2c as follows: *** Applying loop invariant removal ... **** Removing dead functions ... **** Applying dead code removal again ... **** Running final type inference ... **** Final type variable elimination ... **** Final bottom type elimination ... **** Applying with-loop fusion ... **** Elimininating common subexpressions ... **** Removing dead code ... **** Generating full with-loop partitions ... **** Inserting shape variables ... **** Applying prf unrolling ... **** Applying type upgrade ... ABORT: line 117 file: crud.sac ABORT: with loop returns 1 value(s) but 2 variable(s) specified on the lhs *** Compilation failed *** *** Exit code 11 (Running SAC optimizations) *** 1 Error(s), 13 Warning(s) apex@rattler:~/apex2003/benchmks/logd> sac2c -O3 -doisv -doswlf crud.sac rbe@rattler:~> sac2c -V sac2c v1.00-beta (Codename Wooden Shoes) rev 15055 linux-gnu_x86_64 (Fri Oct 20 14:34:26 EDT 2006 sac)