hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix bad magic.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-11-07 17:38:18 +00:00
parent 3c20b950a0
commit 6a2debba96
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
View File

@@ -703,6 +703,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
) )
} }
pragma[nomagic]
override predicate comparesLt( override predicate comparesLt(
Cpp::Expr left, Cpp::Expr right, int k, boolean isLessThan, boolean testIsTrue Cpp::Expr left, Cpp::Expr right, int k, boolean isLessThan, boolean testIsTrue
) { ) {
@@ -713,6 +714,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
) )
} }
pragma[nomagic]
override predicate comparesLt(Cpp::Expr e, int k, boolean isLessThan, GuardValue value) { override predicate comparesLt(Cpp::Expr e, int k, boolean isLessThan, GuardValue value) {
exists(GuardValue partValue, GuardCondition part | exists(GuardValue partValue, GuardCondition part |
this.(Cpp::BinaryLogicalOperation) this.(Cpp::BinaryLogicalOperation)
@@ -738,6 +740,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
) )
} }
pragma[nomagic]
override predicate comparesEq( override predicate comparesEq(
Cpp::Expr left, Cpp::Expr right, int k, boolean areEqual, boolean testIsTrue Cpp::Expr left, Cpp::Expr right, int k, boolean areEqual, boolean testIsTrue
) { ) {
@@ -757,6 +760,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
) )
} }
pragma[nomagic]
override predicate comparesEq(Cpp::Expr e, int k, boolean areEqual, GuardValue value) { override predicate comparesEq(Cpp::Expr e, int k, boolean areEqual, GuardValue value) {
exists(GuardValue partValue, GuardCondition part | exists(GuardValue partValue, GuardCondition part |
this.(Cpp::BinaryLogicalOperation) this.(Cpp::BinaryLogicalOperation)