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 59a77d7 commit 4712ae1Copy full SHA for 4712ae1
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
@@ -151,7 +151,7 @@ private predicate ignoreExprOnly(Expr expr) {
151
// The extractor deliberately emits an `ErrorExpr` as the first argument to
152
// the allocator call, if any, of a `NewOrNewArrayExpr`. That `ErrorExpr`
153
// should not be translated.
154
- exists(NewOrNewArrayExpr new | expr = new.getAllocatorCall().getArgument(0))
+ expr.(ErrorExpr).isFirstAllocatorCallArgument()
155
or
156
not translateFunction(getEnclosingFunction(expr)) and
157
not Raw::varHasIRFunc(getEnclosingVariable(expr))
0 commit comments