C++: Ensure 'isConditionalTemporaryDestructorCall' only holds when the reused expression is a temporary.

2026-04-24 00:05:14 +02:00 · 2024-04-09 09:32:54 +01:00
parent 17c8fa3e84
commit c325a79206
1 changed files with 4 additions and 1 deletions
--- 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
@@ -287,7 +287,10 @@ private predicate isInConditionalEvaluation(Expr e) {
 }

 private predicate isConditionalTemporaryDestructorCall(DestructorCall dc) {
-  isInConditionalEvaluation(dc.getQualifier().(ReuseExpr).getReusedExpr())
+  exists(TemporaryObjectExpr temp |
+    temp = dc.getQualifier().(ReuseExpr).getReusedExpr() and
+    isInConditionalEvaluation(temp)
+  )
 }

 /**