Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f6f7df4 commit 1d615d3Copy full SHA for 1d615d3
1 file changed
cpp/ql/src/Likely Bugs/InconsistentCheckReturnNull.ql
@@ -31,7 +31,9 @@ class InterestingExpr extends Expr {
31
32
predicate nullCheckAssert(InterestingExpr e, Variable v, Declaration qualifier) {
33
exists(File f, int i |
34
- e.getLocation().getStartLine() = i and e.getFile() = f and assertInvocation(f, i) and
+ e.getLocation().getStartLine() = i and
35
+ e.getFile() = f and
36
+ assertInvocation(f, i) and
37
nullCheckInCondition(e, v, qualifier)
38
)
39
}
0 commit comments