hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 15:25:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix cartesian product in 'simple_comparison_eq'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-03-19 10:29:43 +00:00
parent 0c3d9f75f4
commit 350b239ed6
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -722,10 +722,12 @@ private predicate simple_comparison_eq(
/** Rearrange various simple comparisons into `op == k` form. */
private predicate simple_comparison_eq(Instruction test, Operand op, int k, AbstractValue value) {
exists(SwitchInstruction switch |
exists(SwitchInstruction switch, CaseEdge case |
test = switch.getExpression() and
op.getDef() = test and
value.(MatchValue).getCase().getValue().toInt() = k
case = value.(MatchValue).getCase() and
exists(switch.getSuccessor(case)) and
case.getValue().toInt() = k
)
}