C++: Address review comment

github · Sep 3, 2024 · 5281943 · 5281943
1 parent 4945943
commit 5281943
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll
@@ -727,7 +727,9 @@ class C11GenericExpr extends Conversion, @c11_generic {
    * ```
    * this holds for 0.
    */
-  predicate isSelectedAssociation(int n) { this.getAssociationExpr(n) instanceof ReuseExpr }
+  predicate isSelectedAssociation(int n) {
+    this.getAssociationExpr(n).(ReuseExpr).getReusedExpr() = this.getExpr()
+  }
 }
 
 /**