negative upper bound check on WLs wrong!
The following is legal SaC but ICC (-check c
) triggers an error:
int main()
{
a = with {
( [0] <= iv < [ _neg_S_(5)]) : 42;
} : genarray( [12], 0);
return _sel_VxA_([3], a);
}
ICC needs to be adjusted accordingly and we should check with all WL-operators whether all possible transformation passes can deal properly with non-standard partitions....