File tree Expand file tree Collapse file tree 1 file changed +2
-6
lines changed
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -176,9 +176,7 @@ class ParameterNode extends InstructionNode {
176
176
* flow graph.
177
177
*/
178
178
private class ExplicitParameterNode extends ParameterNode {
179
- ExplicitParameterNode ( ) {
180
- exists ( instr .getParameter ( ) )
181
- }
179
+ ExplicitParameterNode ( ) { exists ( instr .getParameter ( ) ) }
182
180
183
181
override predicate isParameterOf ( Function f , int i ) { f .getParameter ( i ) = instr .getParameter ( ) }
184
182
@@ -189,9 +187,7 @@ private class ExplicitParameterNode extends ParameterNode {
189
187
}
190
188
191
189
private class ThisParameterNode extends ParameterNode {
192
- ThisParameterNode ( ) {
193
- instr .getIRVariable ( ) instanceof IRThisVariable
194
- }
190
+ ThisParameterNode ( ) { instr .getIRVariable ( ) instanceof IRThisVariable }
195
191
196
192
override predicate isParameterOf ( Function f , int i ) {
197
193
i = - 1 and instr .getEnclosingFunction ( ) = f
You can’t perform that action at this time.
0 commit comments