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.