WLS corrupts AST if STEP != 1
|Created on||Apr 18, 2015 21:21|
Created an attachment (id=1035) source code to cause failure This bug can be created several ways. The key seems to be to get WLS to run in SAACYC, with a non-unit WL_STEP. This crash relies on extrema being present, allowing the LT function to be optimized away, after which WLS does its thing (incorrectly). ** 12: Transforming with-loop representation ... **** Simplifying with-loops ... **** Transforming with-loop representation ... Internal compiler error Assertion "! WLSTRIDE_ISMODIFIED( stride1)" failed at wltransform/wltransform.c:3849 -- stride was modified Please file a bug at: http://bugs.sac-home.org sac@rattler:~/sac/testsuite/optimizations/pogorelationals$ sac2c -V sac2c v1.00-beta (Haggis And Apple) developer rev 18554 linux-gnu_x86_64 (Sat Apr 18 16:02:33 EDT 2015 by sac) sac@rattler:~/sac/testsuite/optimizations/pogorelationals$ sac2c crud2.sac -v4 -extrema I can also reproduce it using the pogo/pogorelational unit tests, which also evaporate the relational. Those tests do not use extrema, so that lets them out of the picture.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information