Fix contract violation

msimacek · msimacek · commit 34d5213929dc · 2020-10-20T16:13:17.000+02:00
diff --git a/graalpython/com.oracle.graal.python/src/com/oracle/graal/python/runtime/exception/PException.java b/graalpython/com.oracle.graal.python/src/com/oracle/graal/python/runtime/exception/PException.java
@@ -355,7 +355,7 @@ RuntimeException throwException() {
     @ExportMessage
     @SuppressWarnings("static-method")
     boolean hasSourceLocation() {
-        return getLocation() != null;
+        return getLocation() != null && getLocation().getEncapsulatingSourceSection() != null;
     }
 
     @ExportMessage(name = "getSourceLocation")

Original file line number	Diff line number	Diff line change
`@@ -355,7 +355,7 @@ RuntimeException throwException() {`
`355`	`355`	`@ExportMessage`
`356`	`356`	`@SuppressWarnings("static-method")`
`357`	`357`	`boolean hasSourceLocation() {`
`358`		`- return getLocation() != null;`
	`358`	`+ return getLocation() != null && getLocation().getEncapsulatingSourceSection() != null;`
`359`	`359`	`}`
`360`	`360`
`361`	`361`	`@ExportMessage(name = "getSourceLocation")`