Skip to content

Commit 5281943

Browse files
committed
C++: Address review comment
1 parent 4945943 commit 5281943

File tree

1 file changed

+3
-1
lines changed
  • cpp/ql/lib/semmle/code/cpp/exprs

1 file changed

+3
-1
lines changed

cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -727,7 +727,9 @@ class C11GenericExpr extends Conversion, @c11_generic {
727727
* ```
728728
* this holds for 0.
729729
*/
730-
predicate isSelectedAssociation(int n) { this.getAssociationExpr(n) instanceof ReuseExpr }
730+
predicate isSelectedAssociation(int n) {
731+
this.getAssociationExpr(n).(ReuseExpr).getReusedExpr() = this.getExpr()
732+
}
731733
}
732734

733735
/**

0 commit comments

Comments
 (0)