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.