GitLab

Bugzilla Link	1135
Created on	Sep 19, 2014 14:51
Version	svn
OS	All
Architecture	PC
Attachments	bound.sac, 1130.sac

Extended Description

Created an attachment (id=1023)
source code
sac2c-d -mt -doWLLO -minmtsize 40 -o lib -Llib 1130.sac -noprelude
leads to segfault in DCR caused by a broken assignment chain after bOPT:
scs__SSA0_1 = _prop_obj_in_( _flat_12, scs);
scs__SSA0_3 = _prop_obj_out_( scs__SSA0_2);
scs__SSA0_2, c__SSA0_2 = maxclique::expandFS__Cond_1( _pinl_666__flat_50, scs__SSA0_1, c__SSA0_1) ;