DFMsetMaskOr() called with mask NULL
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