File tree Expand file tree Collapse file tree 2 files changed +6
-3
lines changed
swift/ql/lib/codeql/swift Expand file tree Collapse file tree 2 files changed +6
-3
lines changed Original file line number Diff line number Diff line change @@ -1741,7 +1741,8 @@ module Exprs {
1741
1741
1742
1742
module Conversions {
1743
1743
class ConversionOrIdentity =
1744
- Synth:: TIdentityExpr or Synth:: TExplicitCastExpr or Synth:: TImplicitConversionExpr or Synth:: TInOutExpr ;
1744
+ Synth:: TIdentityExpr or Synth:: TExplicitCastExpr or Synth:: TImplicitConversionExpr or
1745
+ Synth:: TInOutExpr ;
1745
1746
1746
1747
abstract class ConversionOrIdentityTree extends AstStandardPostOrderTree {
1747
1748
ConversionOrIdentityTree ( ) { ast instanceof ConversionOrIdentity }
@@ -1772,9 +1773,10 @@ module Exprs {
1772
1773
1773
1774
override predicate convertsFrom ( Expr e ) { ast .convertsFrom ( e ) }
1774
1775
}
1775
-
1776
+
1776
1777
private class InOutTree extends ConversionOrIdentityTree {
1777
1778
override InOutExpr ast ;
1779
+
1778
1780
override predicate convertsFrom ( Expr e ) { ast .convertsFrom ( e ) }
1779
1781
}
1780
1782
}
Original file line number Diff line number Diff line change @@ -169,7 +169,8 @@ private module Cached {
169
169
nodeFrom .asExpr ( ) = nodeTo .asExpr ( ) .( InOutExpr ) .getSubExpr ( )
170
170
or
171
171
// reverse flow through `&` (inout argument)
172
- nodeFrom .( PostUpdateNode ) .getPreUpdateNode ( ) .asExpr ( ) .( InOutExpr ) .getSubExpr ( ) = nodeTo .( PostUpdateNode ) .getPreUpdateNode ( ) .asExpr ( )
172
+ nodeFrom .( PostUpdateNode ) .getPreUpdateNode ( ) .asExpr ( ) .( InOutExpr ) .getSubExpr ( ) =
173
+ nodeTo .( PostUpdateNode ) .getPreUpdateNode ( ) .asExpr ( )
173
174
or
174
175
// flow through `try!` and similar constructs
175
176
nodeFrom .asExpr ( ) = nodeTo .asExpr ( ) .( AnyTryExpr ) .getSubExpr ( )
You can’t perform that action at this time.
0 commit comments