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;
902902 * Holds if access paths with `c` at their head always should be tracked at high
903903 * precision. This disables adaptive access path precision for such access paths.
904904 */
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+ }
906908
907909/**
908910 * 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) {
112112 or
113113 exists ( Content:: EnumContent c |
114114 cs .isSingleton ( c ) and
115- result = "EnumElement[" + c .getSignature ( ) + "]"
115+ result = "EnumElement[" + c .getSignature ( ) + "]"
116116 )
117117 or
118118 exists ( Content:: ArrayContent c |
@@ -139,7 +139,8 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
139139 exists ( ContentSet c |
140140 sc = TWithoutContentSummaryComponent ( c ) and
141141 result = "WithoutContent" + c .toString ( )
142- ) or
142+ )
143+ or
143144 exists ( ContentSet c |
144145 sc = TWithContentSummaryComponent ( c ) and
145146 result = "WithContent" + c .toString ( )
You can’t perform that action at this time.
0 commit comments