Merge pull request #22557 from aschackmull/cfg/inline-test

CFG: Add a new shared inline CFG test and apply it to unified/swift

Author: aschackmull

shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

@@ -2208,13 +2208,21 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
           }
         }
 
-        module Cfg = BB::Make<Location, BbInput>;
+        private module Cfg_ = BB::Make<Location, BbInput>;
 
-        private module CfgAlias = Cfg;
+        module Cfg implements BB::CfgSig<Location>, TestCfg::CfgSig<Location> {
+          import Cfg_
 
-        import CfgAlias
+          class AstNode = Ast::AstNode;
+
+          class Callable = Ast::Callable;
+        }
+
+        import Cfg_
       }
 
+      private import test.TestCfg as TestCfg
+
       private module Additional {
         /*
          * CFG printing
@@ -2236,6 +2244,18 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
 
         import Pp::PrintGraph<Location, PrintGraphInput>
 
+        /*
+         * CFG testing
+         */
+
+        private module TestInput implements TestCfg::InputSig<AstNode, Callable> {
+          AstNode getParent(AstNode node) { node = getChild(result, _) }
+
+          predicate getEnclosingCallable = Ast::getEnclosingCallable/1;
+        }
+
+        module TestCfgInline = TestCfg::Make<Location, Cfg, TestInput>;
+
         /** Provides a set of consistency queries. */
         module Consistency {
           /** Holds if the consistency query `query` has `results` results. */