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 78b8d11 commit 6733997Copy full SHA for 6733997
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
@@ -135,8 +135,10 @@ class IndirectionPosition extends TIndirectionPosition {
135
}
136
137
newtype TPosition =
138
- TDirectPosition(int index) { exists(any(CallInstruction c).getArgument(index))} or
139
- TIndirectionPosition(int index) { exists(ReadSideEffectInstruction instr | instr.getIndex() = index) }
+ TDirectPosition(int index) { exists(any(CallInstruction c).getArgument(index)) } or
+ TIndirectionPosition(int index) {
140
+ exists(ReadSideEffectInstruction instr | instr.getIndex() = index)
141
+ }
142
143
private newtype TReturnKind =
144
TNormalReturnKind() or
0 commit comments