Missing change to 'mayThrowException' in StructuredExceptionHandling.qll

bdrodes · bdrodes · commit a69daa0d2018 · 2024-11-19T13:35:45.000-05:00
diff --git a/cpp/ql/lib/semmle/code/cpp/models/implementations/StructuredExceptionHandling.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/StructuredExceptionHandling.qll
@@ -5,7 +5,7 @@ class WindowsDriverExceptionAnnotation extends ThrowingFunction {
     this.hasGlobalName(["RaiseException", "ExRaiseAccessViolation", "ExRaiseDatatypeMisalignment"])
   }
 
-  override predicate raisesException(boolean unconditional) { unconditional = true }
+  override predicate mayThrowException(boolean unconditional) { unconditional = true }
 
   override TSehException getExceptionType() { any() }
 }

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ class WindowsDriverExceptionAnnotation extends ThrowingFunction {`
`5`	`5`	`this.hasGlobalName(["RaiseException", "ExRaiseAccessViolation", "ExRaiseDatatypeMisalignment"])`
`6`	`6`	`}`
`7`	`7`
`8`		`- override predicate raisesException(boolean unconditional) { unconditional = true }`
	`8`	`+ override predicate mayThrowException(boolean unconditional) { unconditional = true }`
`9`	`9`
`10`	`10`	`override TSehException getExceptionType() { any() }`
`11`	`11`	`}`