AWLF unit test failure with rotate
|
|
Bugzilla Link |
1036 |
Created on |
Nov 18, 2012 18:07 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
crud3.sac |
Extended Description
Created an attachment (id=939)
source code to reproduce fault
AWLF was working, but stopped working some time around/after July, on
some cases where (I think) the consumer WL is using a subtraction
on its index vector. The immediate failure is inability to compute
the predicate WLINTERSECTION1PART.
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 18028 linux-gnu_x86_64
(Thu Nov 15 16:04:14 EST 2012 by sac)
sac2c crud3.sac -doawlf -nowlf -v1 -bopt:uglf >crud