We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d1d19a7 commit 6809711Copy full SHA for 6809711
1 file changed
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
@@ -54,9 +54,7 @@ class ReturnNode extends InstructionNode {
54
Instruction primary;
55
56
ReturnNode() {
57
- exists(ReturnValueInstruction ret |
58
- instr = ret.getReturnValue() and primary = ret
59
- )
+ exists(ReturnValueInstruction ret | instr = ret.getReturnValue() and primary = ret)
60
or
61
exists(ReturnIndirectionInstruction rii |
62
instr = rii.getSideEffectOperand().getAnyDef() and primary = rii
0 commit comments