File tree Expand file tree Collapse file tree 2 files changed +6
-3
lines changed
swift/ql/lib/codeql/swift/dataflow/internal Expand file tree Collapse file tree 2 files changed +6
-3
lines changed Original file line number Diff line number Diff line change @@ -902,7 +902,9 @@ class DataFlowExpr = Expr;
902
902
* Holds if access paths with `c` at their head always should be tracked at high
903
903
* precision. This disables adaptive access path precision for such access paths.
904
904
*/
905
- predicate forceHighPrecision ( Content c ) { c instanceof Content:: ArrayContent or c instanceof Content:: CollectionContent }
905
+ predicate forceHighPrecision ( Content c ) {
906
+ c instanceof Content:: ArrayContent or c instanceof Content:: CollectionContent
907
+ }
906
908
907
909
/**
908
910
* Holds if the node `n` is unreachable when the call context is `call`.
Original file line number Diff line number Diff line change @@ -112,7 +112,7 @@ private string getContentSpecific(ContentSet cs) {
112
112
or
113
113
exists ( Content:: EnumContent c |
114
114
cs .isSingleton ( c ) and
115
- result = "EnumElement[" + c .getSignature ( ) + "]"
115
+ result = "EnumElement[" + c .getSignature ( ) + "]"
116
116
)
117
117
or
118
118
exists ( Content:: ArrayContent c |
@@ -139,7 +139,8 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
139
139
exists ( ContentSet c |
140
140
sc = TWithoutContentSummaryComponent ( c ) and
141
141
result = "WithoutContent" + c .toString ( )
142
- ) or
142
+ )
143
+ or
143
144
exists ( ContentSet c |
144
145
sc = TWithContentSummaryComponent ( c ) and
145
146
result = "WithContent" + c .toString ( )
You can’t perform that action at this time.
0 commit comments