errorneous bottom handling on WL lhs
Bugzilla Link | 308 |
Created on | Oct 13, 2006 13:23 |
Resolution | FIXED |
Resolved on | Oct 18, 2006 16:39 |
Version | 1.00beta |
OS | Linux |
Architecture | PC |
Attachments | tutu.sac |
Extended Description
Check the following code: use Structures: all; use SDLdisplay: all; int main() { disp = initDisplay( [10,10] ); A, disp = with { ( . <= [y,x] <= . ) : ( 0, disp ); } ( genarray( [10,10], black( ) ), propagate( disp ) ); res = destroyDisplay( disp); return( res); } Here we got an obvious bug (the generator genarray supplies the default value black() of type Color8, but inside the loop a 0 is returned). Compilation yields this error: ** 11: Running SAC optimizations ... **** Applying function inlining ... **** Removing dead functions ... **** Removing dead code ... **** Applying loop invariant removal ... ASSERTION FAILED: file 'src/optimize/SSALIR.c', line 1409 usage of undefined identifier EXECUTION TERMINATED This does not occur, when the disp is completely removed or when the second parameter is a non-propagated parameter.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information