AWLF unit test twopartoffsetWLAKD.sac misses some folds
|
|
Bugzilla Link |
883 |
Created on |
Oct 26, 2011 23:05 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
bug883.sac |
Extended Description
This AWLF unit test should produce one WL, but it does not.
sac2c -doawlf -nowlf crud.sac
This with Build # developer rev 17696:MODIFIED linux-gnu_x86_64
------------------------------------------------------
inline
int[*] iota( int shp)
{
res = with {
( . <= [i] <= . ) : i;
} : genarray( [shp], 0 );
return( res);
}
int[*] id( int[*] y)
{
return(y);
}
int main()
{
N = id( 30);
N = _abs_S_( N);
N = _add_SxS_( N, 40);
XX = iota( N);
lim = _sub_SxS_( N, 10);
ZZ = with {
([0] <= [i] < [lim]) {
val = 4;
} :val;
} : modarray(XX);
z = _sel_VxA_( [0], ZZ);
return( z);
}