CSE and CF can not handle AKDs and AUDs correctly
|
|
Bugzilla Link |
39 |
Created on |
Jul 04, 2004 06:00 |
Resolution |
FIXED |
Resolved on |
Nov 12, 2004 09:07 |
Version |
1.00beta |
OS |
All |
Architecture |
All |
Attachments |
tutu2.sac |
Extended Description
Compiling the attached SAC program with
sac2c -sbs -fun2lac7 -ssa -noTSI -noAP -noWLUR
leads to
Assertion 'expr' failed: file 'new_types.c', line 3216
** Type comparison for non-array types not yet implemented!
Compiling the attached SAC program with
sac2c -sbs -fun2lac7 -ssa -noTSI -noAP -noWLUR -noCSE
leads to
Assertion 'expr' failed: file 'SSAConstantFolding.c', line 2076
** CF lead to a result type that is not a proper subtype of the inferred type!