C++: Suppress destructor calls for the right-hand side of logical operations since these are also conditional.

Author: MathiasVP

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

@@ -279,6 +279,10 @@ private predicate isInConditionalEvaluation(Expr e) {
     e = cond.getFullyConverted()
   )
   or
+  e = any(LogicalAndExpr lae).getRightOperand().getFullyConverted()
+  or
+  e = any(LogicalOrExpr loe).getRightOperand().getFullyConverted()
+  or
   isInConditionalEvaluation(getRealParent(e))
 }