CWLE fails to remove simple copy-WL in cblockAKD.sac
|
|
Bugzilla Link |
663 |
Created on |
Jan 12, 2010 17:31 |
Resolution |
FIXED |
Resolved on |
Jan 12, 2010 23:47 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
cblockAKD.sac |
Extended Description
Created an attachment (id=653)
Source code to reproduce fault
CWLE works properly on AKS arrays, but is failing on their equivalent
AKD cousins.
Build #16725:MODIFIED exhibits this:
sac2c cblockAKD.sac -b11 > crud
N = 50;
_flat_0 = _MAIN::id( N);
_isaa_104__flat_0 = 0;
_pinl_56__flat_5 = [ _flat_0 ];
_pinl_59__flat_2 = [ 0 ];
AA = with {
(_pinl_59__flat_2 <= _pinl_62__flat_6=[_pinl_63_i] (IDXS:_wlidx_653_AA) < _pinl_56__flat_5)
{
/* empty */
} : _pinl_63_i ;
} :
genarray( _pinl_56__flat_5, _isaa_104__flat_0, IDX(_wlidx_653_AA));
_flat_3 = 666;
BB = with {
(_pinl_59__flat_2 <= iv=[_eat_13] (IDXS:_wlidx_654_BB) < _pinl_56__flat_5)
{
_ivesplit_660 = _wlidx_654_BB;
el = _idx_sel_( _ivesplit_660, AA);
} : el ;
} :
genarray( _pinl_56__flat_5, _flat_3, IDX(_wlidx_654_BB));