DFMsetMaskOr() called with mask NULL

Bugzilla Link	626
Created on	Dec 15, 2009 15:11
Version	svn
OS	All
Architecture	PC
Attachments	stripped.sac, dataflowbug.sac

Extended Description

Created an attachment (id=628)
sac source code
development version 16678
Download the attached source code.
Run:
sac2c-d dataflowbug.sac
You'll see this:
   
** 15: Introducing memory management instructions ...
  **** Propagating constants ...
  **** AUD/SCL distinction ...
  **** Making copy operations explicit ...
  **** Introducing explicit allocation statements  ...
  **** Removing dead code ...
  **** Inferring reuse candidates ...
  **** Activating display of alias information ...
  **** Interface aliasing analysis ...
ASSERTION FAILED: file 'tree/DataFlowMask.c', line 809
DFMsetMaskOr() called with mask NULL
EXECUTION TERMINATED