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

C++: Handle conversions in 'isInConditionalEvaluation'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-04 14:44:16 +01:00
parent 56a132fa8e
commit 796fcfec6c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
View File

@@ -259,9 +259,9 @@ private predicate usedAsCondition(Expr expr) {
private predicate isInConditionalEvaluation(Expr e) {
exists(ConditionalExpr cond |
e = cond.getThen() and not cond.isTwoOperand()
e = cond.getThen().getFullyConverted() and not cond.isTwoOperand()
or
e = cond.getElse()
e = cond.getElse().getFullyConverted()
)
or
isInConditionalEvaluation(getRealParent(e))