No error message from typechecker on failure
Bugzilla Link | 1076 |
Created on | May 03, 2013 20:36 |
Version | svn |
OS | Linux |
Architecture | PC |
Attachments | relaxAKDnotake.sac |
Extended Description
Created an attachment (id=974) source code to reproduce fault This on an AWLF unit test. ... Inferring algebraically foldable with-loops ... *** Compilation failed *** *** Exit code 82 (Running SAC optimizations) *** 1 Error(s), 3 Warning(s) [Not much help, eh?] sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c -V sac2c v1.00-beta (Haggis And Apple) product rev 18133 linux-gnu_x86_64 (Fri May 3 10:26:21 EDT 2013 by sac) sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c-d relaxAKDnotake.sac -v4 -doawlf -nowlf The actual failure is in EBTfundef, at the line: CTIabortOnBottom( TYgetBottomError( bottom)); The failure arises from something to do with my recent DL extension, but the failure mode of the compiler is most unpleasant.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information