Codegen Error Computed maximum size is not bounded despite assertion

Question

 54            assert(obj.M_1 < 256);
 58            assert(obj.i <= 256);
 59            assert(obj.i > 0);
 62            y = obj.old_x(obj.i:obj.i+obj.M_1,1)'*obj.w;

The codegen report highlighted "obj.i:obj.i+obj.M_1,1" for me but I cannot figure out the problem. Please enlighten me if you have any idea.

Answer 1

Adding an extra variable to store the boundary value and assert that variable to some condition solves the problem.

ie.

idx = obj.i+obj.M_1
assert(idx < 512);