Swift: Add consistency queries to CFG tests.

Author: MathiasVP

swift/ql/lib/codeql/swift/dataflow/Ssa.qll

@@ -124,7 +124,10 @@ module Ssa {
     }
   }
 
-  private module SsaImpl = SsaImplCommon::Make<SsaInput>;
+  /**
+   * INTERNAL: Do not use.
+   */
+  module SsaImpl = SsaImplCommon::Make<SsaInput>;
 
   cached
   class Definition extends SsaImpl::Definition {

swift/ql/test/library-tests/controlflow/graph/consistency.expected

@@ -0,0 +1,36 @@
+nonUniqueSetRepresentation
+breakInvariant2
+breakInvariant3
+breakInvariant4
+breakInvariant5
+multipleSuccessors
+| cfg.swift:33:28:33:28 | ... is ... | no-match | cfg.swift:33:49:33:60 | call to isZero(x:) |
+| cfg.swift:33:28:33:28 | ... is ... | no-match | cfg.swift:35:5:37:3 | case ... |
+| cfg.swift:144:10:144:10 | =~ ... | no-match | cfg.swift:144:18:144:34 | ... .&&(_:_:) ... |
+| cfg.swift:144:10:144:10 | =~ ... | no-match | cfg.swift:146:5:147:14 | case ... |
+| cfg.swift:456:19:456:24 | #keyPath(...) | successor | cfg.swift:456:3:456:24 | var ... = ... |
+| cfg.swift:456:19:456:24 | #keyPath(...) | successor | cfg.swift:456:19:456:24 | exit #keyPath(...) (normal) |
+| cfg.swift:457:22:457:31 | #keyPath(...) | successor | cfg.swift:457:3:457:31 | var ... = ... |
+| cfg.swift:457:22:457:31 | #keyPath(...) | successor | cfg.swift:457:22:457:31 | exit #keyPath(...) (normal) |
+| cfg.swift:458:28:458:37 | #keyPath(...) | successor | cfg.swift:458:3:458:37 | var ... = ... |
+| cfg.swift:458:28:458:37 | #keyPath(...) | successor | cfg.swift:458:28:458:37 | exit #keyPath(...) (normal) |
+| cfg.swift:459:22:459:31 | #keyPath(...) | successor | cfg.swift:459:3:459:31 | var ... = ... |
+| cfg.swift:459:22:459:31 | #keyPath(...) | successor | cfg.swift:459:22:459:31 | exit #keyPath(...) (normal) |
+| cfg.swift:515:6:515:28 | #available | false | cfg.swift:515:42:515:46 | iOS 12 |
+| cfg.swift:515:6:515:28 | #available | false | cfg.swift:519:10:519:10 | x |
+| file://:0:0:0:0 | $interpolation | successor | cfg.swift:40:11:40:11 | OpaqueValueExpr |
+| file://:0:0:0:0 | $interpolation | successor | cfg.swift:40:12:40:12 | .appendLiteral(_:) |
+| file://:0:0:0:0 | $interpolation | successor | cfg.swift:263:10:263:10 | OpaqueValueExpr |
+| file://:0:0:0:0 | $interpolation | successor | cfg.swift:263:11:263:11 | .appendLiteral(_:) |
+simpleAndNormalSuccessors
+deadEnd
+| cfg.swift:33:49:33:60 | call to isZero(x:) |
+| cfg.swift:144:18:144:34 | ... .&&(_:_:) ... |
+| cfg.swift:464:7:464:7 | apply_kpGet_mayB_x |
+| cfg.swift:464:7:464:7 | apply_kpGet_mayB_x |
+| cfg.swift:464:7:464:7 | apply_kpGet_mayB_x |
+| cfg.swift:464:7:464:7 | apply_kpGet_mayB_x |
+| file://:0:0:0:0 |  ... = ... |
+| file://:0:0:0:0 |  ... = ... |
+nonUniqueSplitKind
+nonUniqueListOrder

swift/ql/test/library-tests/controlflow/graph/consistency.ql

@@ -0,0 +1 @@
+import codeql.swift.controlflow.internal.ControlFlowGraphImplShared::Consistency