C++: Handle conversions in 'isInConditionalEvaluation'.

MathiasVP · MathiasVP · commit 796fcfec6c82 · 2024-04-04T14:44:16.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
@@ -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))
