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 {
17411741
17421742 module Conversions {
17431743 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 ;
17451746
17461747 abstract class ConversionOrIdentityTree extends AstStandardPostOrderTree {
17471748 ConversionOrIdentityTree ( ) { ast instanceof ConversionOrIdentity }
@@ -1772,9 +1773,10 @@ module Exprs {
17721773
17731774 override predicate convertsFrom ( Expr e ) { ast .convertsFrom ( e ) }
17741775 }
1775-
1776+
17761777 private class InOutTree extends ConversionOrIdentityTree {
17771778 override InOutExpr ast ;
1779+
17781780 override predicate convertsFrom ( Expr e ) { ast .convertsFrom ( e ) }
17791781 }
17801782 }
Original file line number Diff line number Diff line change @@ -169,7 +169,8 @@ private module Cached {
169169 nodeFrom .asExpr ( ) = nodeTo .asExpr ( ) .( InOutExpr ) .getSubExpr ( )
170170 or
171171 // 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 ( )
173174 or
174175 // flow through `try!` and similar constructs
175176 nodeFrom .asExpr ( ) = nodeTo .asExpr ( ) .( AnyTryExpr ) .getSubExpr ( )
You can’t perform that action at this time.
0 commit comments