Defend POGState addOperation against nulls

nickbattle · Oct 26, 2024 · bc9e5bd · bc9e5bd
1 parent 5005284
commit bc9e5bd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/pog/POGState.java b/vdmj/src/main/java/com/fujitsu/vdmj/pog/POGState.java
@@ -161,7 +161,11 @@ public void addDclLocal(TCNameToken name)
 
 	public void addOperation(LexLocation location, PODefinition called)
 	{
-		if (called.accessSpecifier.isPure)
+		if (called == null)
+		{
+			didUpdateState(location);	// Assumed
+		}
+		else if (called.accessSpecifier.isPure)
 		{
 			return;		// No updates, by definition
 		}