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.