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

Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

Browse Source 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-30 14:42:30 +01:00
committed by GitHub
parent 2939c89f7a
commit 32fe084630
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -793,7 +793,7 @@ private predicate simple_comparison_eq(Instruction test, Operand op, int k, Abst
or or
// There's no implicit CompareInstruction in files compiled as C since C // There's no implicit CompareInstruction in files compiled as C since C
// doesn't have implicit boolean conversions. So instead we check whether // doesn't have implicit boolean conversions. So instead we check whether
// there's a branch on a value ofpointer or integer type. // there's a branch on a value of pointer or integer type.
exists(ConditionalBranchInstruction branch, IRType type | exists(ConditionalBranchInstruction branch, IRType type |
not test instanceof CompareInstruction and not test instanceof CompareInstruction and
type = test.getResultIRType() and type = test.getResultIRType() and