We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4945943 commit 5281943Copy full SHA for 5281943
cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll
@@ -727,7 +727,9 @@ class C11GenericExpr extends Conversion, @c11_generic {
727
* ```
728
* this holds for 0.
729
*/
730
- predicate isSelectedAssociation(int n) { this.getAssociationExpr(n) instanceof ReuseExpr }
+ predicate isSelectedAssociation(int n) {
731
+ this.getAssociationExpr(n).(ReuseExpr).getReusedExpr() = this.getExpr()
732
+ }
733
}
734
735
/**
0 commit comments