File tree Expand file tree Collapse file tree 3 files changed +11
-19
lines changed
lib/codeql/swift/dataflow
test/library-tests/dataflow/dataflow Expand file tree Collapse file tree 3 files changed +11
-19
lines changed Original file line number Diff line number Diff line change @@ -73,7 +73,8 @@ module Ssa {
73
73
}
74
74
}
75
75
76
- cached class PhiDefinition extends Definition , SsaImplCommon:: PhiNode {
76
+ cached
77
+ class PhiDefinition extends Definition , SsaImplCommon:: PhiNode {
77
78
cached
78
79
override Location getLocation ( ) {
79
80
exists ( BasicBlock bb , int i |
@@ -82,12 +83,10 @@ module Ssa {
82
83
)
83
84
}
84
85
85
- cached Definition getPhiInput ( BasicBlock bb ) {
86
- SsaImplCommon:: phiHasInputFromBlock ( this , result , bb )
87
- }
86
+ cached
87
+ Definition getPhiInput ( BasicBlock bb ) { SsaImplCommon:: phiHasInputFromBlock ( this , result , bb ) }
88
88
89
- cached Definition getAPhiInput ( ) {
90
- result = this .getPhiInput ( _)
91
- }
89
+ cached
90
+ Definition getAPhiInput ( ) { result = this .getPhiInput ( _) }
92
91
}
93
92
}
Original file line number Diff line number Diff line change @@ -166,17 +166,11 @@ abstract class ReturnNode extends Node {
166
166
abstract ReturnKind getKind ( ) ;
167
167
}
168
168
169
- private module ReturnNodes {
169
+ private module ReturnNodes {
170
170
class ReturnReturnNode extends ReturnNode , ExprNode {
171
- ReturnReturnNode ( ) {
172
- exists ( ReturnStmt stmt |
173
- stmt .getResult ( ) = this .asExpr ( )
174
- )
175
- }
171
+ ReturnReturnNode ( ) { exists ( ReturnStmt stmt | stmt .getResult ( ) = this .asExpr ( ) ) }
176
172
177
- override ReturnKind getKind ( ) {
178
- result instanceof NormalReturnKind
179
- }
173
+ override ReturnKind getKind ( ) { result instanceof NormalReturnKind }
180
174
}
181
175
}
182
176
@@ -188,7 +182,7 @@ abstract class OutNode extends Node {
188
182
abstract DataFlowCall getCall ( ReturnKind kind ) ;
189
183
}
190
184
191
- private module OutNodes {
185
+ private module OutNodes {
192
186
class CallOutNode extends OutNode , DataFlowCall {
193
187
override DataFlowCall getCall ( ReturnKind kind ) {
194
188
result = this and kind instanceof NormalReturnKind
Original file line number Diff line number Diff line change @@ -20,6 +20,5 @@ class TestConfiguration extends DataFlow::Configuration {
20
20
}
21
21
22
22
from DataFlow:: PathNode src , DataFlow:: PathNode sink , TestConfiguration test
23
- where
24
- test .hasFlowPath ( src , sink )
23
+ where test .hasFlowPath ( src , sink )
25
24
select src , sink
You can’t perform that action at this time.
0 commit comments