UTEpio.sac asserts in WLFS
|
|
Bugzilla Link |
323 |
Created on |
Nov 14, 2006 23:00 |
Version |
1.00beta |
OS |
Linux |
Architecture |
PC |
Attachments |
tutu0.sac, UTEpio.sac
|
Extended Description
There may be several bugs here.
sac2c -noopt tutu0.sac dies in the linker. WIth opts turned on, it appears to
work properly. See bugtutu0 for gcc/linker output.
UTEpio.sac dies same way. If you compile UTEpio.sac with: sac2c -dowlfs,
you kill sac2c this way:
*** Applying loop invariant removal ...
ASSERTION FAILED: file 'src/optimize/SSALIR.c', line 1409
usage of undefined identifier
EXECUTION TERMINATED
./foo: line 1: 19369 Aborted sac2c -check b -maxwlur 3 -dowlfs
-O3 $1.sac -o $1.exe $2 $3 $4