Unified: Add exhaustive Swift switch CFG test fixtures

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 4a9b52f8-d07b-4692-8fb9-409f0efd64f2

Author: paldepind

unified/ql/test/library-tests/controlflow/basicblock-slices.expected

@@ -1,4 +1,4 @@
-| 1 | cfg.swift:1:1:613:1 | Block | 'Block -V var topLevelDecl -V topLevelDecl -> Int -> 0' |
+| 1 | cfg.swift:1:1:635:1 | Block | 'Block -V var topLevelDecl -V topLevelDecl -> Int -> 0' |
 | 2 | cfg.swift:2:1:2:1 | 0 | '0' |
 | 3 | cfg.swift:3:1:3:12 | topLevelDecl | 'topLevelDecl -> 1 -^ ... + ...' |
 | 5 | cfg.swift:5:1:5:37 | func returnZero | 'func returnZero -V returnZero' |
@@ -494,3 +494,21 @@
 | 610 | cfg.swift:610:5:610:13 | var x | 'var x -V x -> N' |
 | 611 | cfg.swift:611:5:611:9 | print | 'print -> Argument -V x -^ print(...)' |
 | 612 | cfg.swift:612:5:612:5 | _ | '_ -> value -^ ... = ...' |
+| 615 | cfg.swift:615:1:623:1 | func exhaustiveBoolSwitch | 'func exhaustiveBoolSwitch -V exhaustiveBoolSwitch' |
+| 615 | cfg.swift:615:29:615:33 | value | 'value -> Block' |
+| 616 | cfg.swift:616:3:621:3 | SwitchExpr | 'SwitchExpr -V value' |
+| 617 | cfg.swift:617:5:618:14 | SwitchCase | 'SwitchCase -V true' |
+| 618 | cfg.swift:618:7:618:14 | Block | 'Block -V 1 -^ ReturnExpr' |
+| 619 | cfg.swift:619:5:620:14 | SwitchCase | 'SwitchCase -V false' |
+| 620 | cfg.swift:620:7:620:14 | Block | 'Block -V 0 -^ ReturnExpr' |
+| 622 | cfg.swift:622:11:622:11 | 1 | '1 -^ - ... -^ ReturnExpr' |
+| 625 | cfg.swift:625:1:635:1 | func exhaustiveEnumSwitch | 'func exhaustiveEnumSwitch -V exhaustiveEnumSwitch' |
+| 625 | cfg.swift:625:29:625:33 | value | 'value -> flag -> Block' |
+| 626 | cfg.swift:626:3:633:3 | SwitchExpr | 'SwitchExpr -V value' |
+| 627 | cfg.swift:627:5:628:14 | SwitchCase | 'SwitchCase -V flag -? . -^ ... .error1 -^ ConditionalPattern' |
+| 628 | cfg.swift:628:7:628:14 | Block | 'Block -V 1 -^ ReturnExpr' |
+| 629 | cfg.swift:629:5:630:14 | SwitchCase | 'SwitchCase -V . -^ ... .error1' |
+| 630 | cfg.swift:630:7:630:14 | Block | 'Block -V 2 -^ ReturnExpr' |
+| 631 | cfg.swift:631:5:632:14 | SwitchCase | 'SwitchCase -V . -^ ... .error2 -> . -^ ... .error3 -^ OrPattern' |
+| 632 | cfg.swift:632:7:632:14 | Block | 'Block -V 3 -^ ReturnExpr' |
+| 634 | cfg.swift:634:11:634:11 | 1 | '1 -^ - ... -^ ReturnExpr' |

unified/ql/test/library-tests/controlflow/cfg.expected

@@ -150,6 +150,16 @@ bbStep
 | cfg.swift:597:14:597:14 | 2 | '2 : successor -> let b(+2)' |
 | cfg.swift:600:13:600:18 | ... < ... | '... < ... : false -> Block(+1)' |
 | cfg.swift:600:13:600:18 | ... < ... | '... < ... : true -> Block(+0)' |
+| cfg.swift:617:10:617:13 | true | 'true : match -> Block(+1)' |
+| cfg.swift:617:10:617:13 | true | 'true : no-match -> SwitchCase(+2)' |
+| cfg.swift:619:10:619:14 | false | 'false : match -> Block(+1)' |
+| cfg.swift:619:10:619:14 | false | 'false : no-match -> 1(+3)' |
+| cfg.swift:627:10:627:27 | ConditionalPattern | 'ConditionalPattern : match -> Block(+1)' |
+| cfg.swift:627:10:627:27 | ConditionalPattern | 'ConditionalPattern : no-match -> SwitchCase(+2)' |
+| cfg.swift:629:10:629:16 | ... .error1 | '... .error1 : match -> Block(+1)' |
+| cfg.swift:629:10:629:16 | ... .error1 | '... .error1 : no-match -> SwitchCase(+2)' |
+| cfg.swift:631:10:631:25 | OrPattern | 'OrPattern : match -> Block(+1)' |
+| cfg.swift:631:10:631:25 | OrPattern | 'OrPattern : no-match -> 1(+3)' |
 noCfg
 | cfg.swift:47:42:47:47 | String |
 | cfg.swift:53:34:53:34 | _ |
@@ -172,3 +182,4 @@ noCfg
 nonSimple
 | cfg.swift:12:17:12:25 | withParam | 'withParam -? Block' |
 | cfg.swift:35:5:35:5 | CatchClause | 'CatchClause -V MyError -^ ... .error1 -> isZero -> Argument -V x -^ isZero(...) -? MyError -^ ... .error2 -^ ConditionalPattern -^ OrPattern' |
+| cfg.swift:627:5:627:5 | SwitchCase | 'SwitchCase -V flag -? . -^ ... .error1 -^ ConditionalPattern' |

unified/ql/test/library-tests/controlflow/cfg.swift

@@ -611,3 +611,25 @@ func valueGenericsFn<let N: Int>(_ value: ValueGenericsStruct<N>) {
     print(x);
     _ = value;
 }
+
+func exhaustiveBoolSwitch(_ value: Bool) -> Int {
+  switch value {
+    case true: // $ bbStep='true : match -> Block(+1)' bbStep='true : no-match -> SwitchCase(+2)'
+      return 1
+    case false: // $ bbStep='false : match -> Block(+1)' bbStep='false : no-match -> 1(+3)'
+      return 0
+  }
+  return -1
+}
+
+func exhaustiveEnumSwitch(_ value: MyError, _ flag: Bool) -> Int {
+  switch value {
+    case .error1 where flag: // $ bbStep='ConditionalPattern : match -> Block(+1)' bbStep='ConditionalPattern : no-match -> SwitchCase(+2)' nonSimple='SwitchCase -V flag -? . -^ ... .error1 -^ ConditionalPattern'
+      return 1
+    case .error1: // $ bbStep='... .error1 : match -> Block(+1)' bbStep='... .error1 : no-match -> SwitchCase(+2)'
+      return 2
+    case .error2, .error3: // $ bbStep='OrPattern : match -> Block(+1)' bbStep='OrPattern : no-match -> 1(+3)'
+      return 3
+  }
+  return -1
+}