unified: Add test with @_exported import

Author: asgerf

unified/ql/lib/codeql/unified/internal/StaticNameBinding.qll

@@ -212,6 +212,7 @@ predicate valueStep(NameBindingNode node1, NameBindingNode node2) {
   |
     node2 = getNodeFromUncertainScope(scope)
     or
+    // TODO: Add support for '@_exported' with tests, so this gets exercised
     // Bulk re-exporting declarations
     exists(TopLevel top |
       declaration = top.getBody().getAStmt() and

unified/ql/test/library-tests/static-name-binding/package1/Package.swift

@@ -7,5 +7,7 @@ let package = Package(
     targets: [
         .target(name: "Target1"),
         .target(name: "Target2"),
+        .target(name: "Target3"),
+        .target(name: "Target4"),
     ]
 )

unified/ql/test/library-tests/static-name-binding/package1/Sources/Target3/ReExport.swift

@@ -0,0 +1,3 @@
+@_exported import Target2
+
+public class C {} // name=Target3.C

unified/ql/test/library-tests/static-name-binding/package1/Sources/Target4/UseReExport.swift

@@ -0,0 +1,11 @@
+import Target3 // re-exports Target2
+
+private protocol P {
+    let x1: A; // $ MISSING: access=Target2.A
+    let x2: B.C; // $ MISSING: access=Target2.B access=Target2.B.C
+    let x3: C; // $ access=Target3.C
+
+    let x4: Target3.A; // $ MISSING: access=Target2.A
+    let x5: Target3.B.C; // $ MISSING: access=Target2.B access=Target2.B.C
+    let x6: Target3.C; // $ access=Target3.C
+}