File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed
cpp/ql/src/Likely Bugs/Format Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -78,10 +78,11 @@ predicate isNonConst(DataFlow::Node node) {
78
78
// are considered as possible non-const sources
79
79
// The function's output must also not be const to be considered a non-const source
80
80
exists ( Function func , CallInstruction call |
81
- // NOTE: could use `Call` getAnArgument() instead of `CallInstruction` but requires two
81
+ // NOTE: could use `Call` getAnArgument() instead of `CallInstruction` but requires two
82
82
// variables representing the same call in ordoer to use `callOutput` below.
83
- exists ( Expr arg | call .getPositionalArgumentOperand ( _) .getDef ( ) .getUnconvertedResultExpression ( ) = arg and
84
- arg = node .asDefiningArgument ( )
83
+ exists ( Expr arg |
84
+ call .getPositionalArgumentOperand ( _) .getDef ( ) .getUnconvertedResultExpression ( ) = arg and
85
+ arg = node .asDefiningArgument ( )
85
86
)
86
87
or
87
88
call .getUnconvertedResultExpression ( ) = node .asIndirectExpr ( )
You can’t perform that action at this time.
0 commit comments