Guards: Minor improvement to implications.

aschackmull · aschackmull · commit 0df0816c955f · 2025-10-29T13:03:51.000+01:00
diff --git a/shared/controlflow/codeql/controlflow/Guards.qll b/shared/controlflow/codeql/controlflow/Guards.qll
@@ -785,6 +785,8 @@ module Make<
         baseSsaValueCheck(def, ssaVal, g0, v0)
       |
         impliesStep1(g, v, g0, v0)
+        or
+        additionalImpliesStep(g, v, g0, v0)
       )
     }
 

Original file line number	Diff line number	Diff line change
`@@ -785,6 +785,8 @@ module Make<`
`785`	`785`	`baseSsaValueCheck(def, ssaVal, g0, v0)`
`786`	`786`	`\|`
`787`	`787`	`impliesStep1(g, v, g0, v0)`
	`788`	`+ or`
	`789`	`+ additionalImpliesStep(g, v, g0, v0)`
`788`	`790`	`)`
`789`	`791`	`}`
`790`	`792`