id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4120	Out-of-bounds array elements undetected by front-end	Vitalij Ruge	Per Östlund	"{{{
model foo
  function f
    input Real[2] x;
    output Real[2] y;
    output Real[2] z;
  algorithm
    y[1] := 2*x[1]^2 + 1; y[2] := 3*x[2]^3 + 2;
    z[1] := -y[1]/2+1/2+7; z[2] := -y[2]/3+2/3-7;
    annotation(Inline=true);
  end f;

  Real[2] y(each start = -1);
  Real[2] w(each start = -1);
  Real z1, z2, z3;
equation
  (, w) = f({y[1] + z3, y[2]});
  (, w) = f({y[1] + w[1], y[2] + w[3]});
  der(y[1]) = -z1*y[2] +1;
  der(y[2]) = -z2*y[1] + z1*y[2] +3;
  z3 = time;
end foo;
}}}
where `w[3]` is undefined."	defect	assigned	blocker	2.0.0	New Instantiation