AWLFI crashes on Morgan-Stanley benchmark, unable to find inverse function
|
|
Bugzilla Link |
1000 |
Created on |
Jul 09, 2012 16:15 |
Resolution |
FIXED |
Resolved on |
Jul 09, 2012 20:14 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
morgan.sac, crud.breaks.sac
|
Extended Description
Created an attachment (id=913)
source code to reproduce fault
Inferring algebraically foldable with-loops ...
arrayopt/algebraic_wlfi.c:975 Assertion "( NULL == z) || N_avis == NODE_TYPE( z)" failed!
failed to gen inverse
apex@rattler:~/apex3/benchmks/morgan$ sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 18052:MODIFIED linux-gnu_x86_64
(Mon Jul 9 09:52:52 EDT 2012 by sac)
apex@rattler:~/apex3/benchmks/morgan$ sac2c morgan.sac -v4 -doawlf -nowlf