Inconsistent error reporting on list projection with impossible static bounds.
Jeroen found that list projection with completely impossible static bounds is not consistently handled.
event e, f;
automaton X:
disc list[2..2] int v;
location A:
initial;
edge e do v[-11] := 3; // Is not caught.
edge f do v[10] := 5; // Gives an error.
end
The impossible positive index throws an error for being out of bounds. If you add a comment //
in front of that line, it only warns about not using event f
.