Input port allowed as initial value for a data state variable
A dsv can have an input port variable as an initial value expression. IMO dsv this should not be allowed, as ports can have NoVal and dsv can not.
1) Create a component
2) create an input port ip (whatever type you prefer)
3) Create a state automaton
4) create a data state variable v in the automaton (of the same type as
in step 2)
Expected: you should see error markers
Actual: There are no error markers
(from redmine: issue id 2723, created on 2016-10-24, closed on 2018-03-02)