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 2345907 commit 9854ed4Copy full SHA for 9854ed4
cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql
@@ -110,8 +110,6 @@ predicate isNonConst(DataFlow::Node node) {
110
(
111
// Case 1: It's a known dataflow or taintflow function with flow to the return value
112
exists(Function func, CallInstruction call |
113
- // NOTE: could use `Call` getAnArgument() instead of `CallInstruction` but requires two
114
- // variables representing the same call in ordoer to use `callOutput` below.
115
call.getUnconvertedResultExpression() = node.asIndirectExpr() and
116
func = call.getStaticCallTarget() and
117
not exists(FunctionOutput output |
0 commit comments