Absence of check of variable existence in updates

[etienneandre]

Bug occurring in develop/486ad42 (Build date: 2024-03-06 17:45:32 UTC)

var


(************************************************************)
  automaton pta_1
(************************************************************)
actions: notify;

loc l0: invariant True
	when True sync notify do {doesntexist := 0} goto l0;

end (* pta *)



(************************************************************)
(* Initial state *)
(************************************************************)

init := {
	
    discrete =
		(*------------------------------------------------------------*)
		(* Initial location *)
		(*------------------------------------------------------------*)
		loc[pta_1] := l0,

		(*------------------------------------------------------------*)
		(* Initial discrete variables assignments *)
		(*------------------------------------------------------------*)

    ;

    continuous =        
		(*------------------------------------------------------------*)
		(* Initial clock constraints *)
		(*------------------------------------------------------------*)

		(*------------------------------------------------------------*)
		(* Parameter constraints *)
		(*------------------------------------------------------------*)
	;
}


(************************************************************)
(* The end *)
(************************************************************)
end

Problem: doesntexist does not exist; and it's not detected at all!