Throw an exception for unexpected wildcard reads.

ponder-lab · Jul 21, 2024 · 190f1ab · 190f1ab
1 parent c83cef2
commit 190f1ab
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/...n/source/com/ibm/wala/cast/python/ipa/callgraph/PythonSSAPropagationCallGraphBuilder.java b/...n/source/com/ibm/wala/cast/python/ipa/callgraph/PythonSSAPropagationCallGraphBuilder.java
@@ -308,7 +308,14 @@ public void visitPropertyRead(AstPropertyRead instruction) {
                         return v;
                       }
                     });
-          }
+          } else
+            throw new IllegalArgumentException(
+                "Not expecting the definition: "
+                    + def
+                    + " of the object reference of: "
+                    + instruction
+                    + " to be: "
+                    + def.getClass());
         }
 
         // check if we are reading from an module initialization script.