opt WLLO broken when inlining fold operation
|
|
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) ;