Compiling partitionslicerFailure.simpler.sac AWLF unit with -noctz gives wrong answer
Extended Description
Created an attachment (id=993)
source code to reproduce fault
sac2c partitionslicerFailure.simpler.sac -v1 -doawlf -nowlf
warning: AWLF is enabled: -ecc enabled.
warning: AWLF is enabled: -extrema enabled.
warning: AWLF is enabled: -maxoptcyc=20
sac@rattler:~/sac/testsuite/optimizations/awlf$ a.out; echo $?40000
0
sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c partitionslicerFailure.simpler.sac -v1 -doawlf -nowlf -noctz
warning: AWLF is enabled: -ecc enabled.
warning: AWLF is enabled: -extrema enabled.
warning: AWLF is enabled: -maxoptcyc=20
sac@rattler:~/sac/testsuite/optimizations/awlf$ a.out; echo $?-nan
255
sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c -V
sac2c v1.00-beta (Haggis And Apple)
product rev 18396 linux-gnu_x86_64
(Wed Oct 9 16:38:56 EDT 2013 by sac)
I'm not sure what's going on here: I eyeballed some -bopt code
last night, to no avail.