Undeclared components in if equation's false branch are not checked

[Peter Aronsson]

The following model doesn't produce any error message when checking (v1.8.0).

model test
  parameter Boolean bool=false;
  Real x;
equation 
  if bool then
    der(x)=B;
  else
    der(x)=4;
  end if;
end test;

It should report an error that B is undeclared!

[Martin Sjölund]

I know for a fact that illegal expressions are in parameter-false branches in some versions of MSL. Since we support different language standards in flags, maybe we can disable this for Modelica 3. I will run the testsuite and see.

[Martin Sjölund]

Ok, I was thinking about if-expressions. But I tried it on if-equations like the ticket says and...

The patch conflicts with connection graph (isRoot) because the cg needs to be discarded if it cannot be selected. So back to the drawing board.

[Martin Sjölund]

Ok, got something running, but all testcases that use if-equations need to be updated so it will be something for tomrrow.

[Martin Sjölund]

And MSL 2.2.1 keeps illegal connections in unreachable branches. Great, another thing to hack through :)

[Martin Sjölund]

I give up. There are more important things to fix. Whatever you do, some other model breaks, equalityconstraints, etc :(

[Martin Sjölund]

This will be fixed in the new instantiation

[Francesco Casella]

The new front end now correctly fails with this error:

[1] 18:41:45 Translation Error
[test: 6:5-6:13]: Variable B not found in scope test.

The new FE is currently activated by -d=newInst, but it will become the default in 2.0.0, so I am closing this ticket with that milestone.