Assertion in WLUTfindArrayForBound fails
sac2c version
sac2c 1.3.3-MijasCosta-1137-gcc26d
build-type: DEBUG
built-by: "thomas" at 2024-01-29T11:23:03
No flags. With check tc
it does compile, and runs without errors!
Program
inline
int[d:shp] -(int[d:shp] a, int[d:shp] b)
{
return {iv -> _sub_SxS_(_sel_VxA_(iv, a),
_sel_VxA_(iv, b))};
}
inline
int[d:shp] +(int[d:shp] a, int[d:shp] b)
{
return {iv -> _add_SxS_(_sel_VxA_(iv, a),
_sel_VxA_(iv, b))};
}
inline
double[d:mn] backslide(int[d] i, double[d:n1] y, int[d] mn)
| all(i < 1 + mn - n1)
{
return {iv -> 0d | iv < i;
iv -> _sel_VxA_(iv - i, y) | i <= iv < n1 + i;
iv -> 0d | n1 + i <= iv < mn};
}
int main()
{
w = {iv -> 42d | iv < [5, 5]};
inpp = {[x1, x2] -> backslide([x1, x2], with {}: genarray([24, 24], 0d), [28, 28])
| [x1, x2] < [5, 5]};
return _toi_S_(_sel_VxA_([0, 0, 0, 0], inpp));
}
error
Assertion "res == NULL || NODE_TYPE (res) == N_array" failed at /home/thomas/repos/sac2c/src/libsac2c/arrayopt/with_loop_utilities.c:289 -- Array conversion failed!