================ @@ -0,0 +1,116 @@ +// This test verifies that the modules visible to the translation unit are computed in dependency scanning. +// "client" in the first scan represents the translation unit that imports an explicit submodule, +// that only exports one other module. +// In the second scan, the translation unit that imports an explicit submodule, +// that exports an additional module. +// Thus, the dependencies of the top level module for the submodule always differ from what is visible to the TU. + +// RUN: rm -rf %t +// RUN: split-file %s %t +// RUN: sed -e "s|DIR|%/t|g" %t/compile-commands.json.in > %t/compile-commands.json +// RUN: clang-scan-deps -emit-visible-modules -compilation-database %t/compile-commands.json \ +// RUN: -j 1 -format experimental-full 2>&1 > %t/result-first-scan.json +// RUN: cat %t/result-first-scan.json | sed 's:\\\\\?:/:g' | FileCheck %s -DPREFIX=%/t --check-prefix=SINGLE + +/// Re-run scan with different module map for direct dependency. +// RUN: mv %t/A_without_visible_export.modulemap %t/Sysroot/usr/include/A/module.modulemap +// RUN: clang-scan-deps -emit-visible-modules -compilation-database %t/compile-commands.json \ +// RUN: -j 1 -format experimental-full 2>&1 > %t/result.json +// RUN: cat %t/result.json | sed 's:\\\\\?:/:g' | FileCheck %s -DPREFIX=%/t --check-prefix=MULTIPLE + +// RUN: %deps-to-rsp %t/result.json --module-name=transitive > %t/transitive.rsp +// RUN: %deps-to-rsp %t/result.json --module-name=visible > %t/visible.rsp +// RUN: %deps-to-rsp %t/result.json --module-name=invisible > %t/invisible.rsp +// RUN: %deps-to-rsp %t/result.json --module-name=A > %t/A.rsp +// RUN: %deps-to-rsp %t/result.json --tu-index=0 > %t/tu.rsp + +// RUN: %clang @%t/transitive.rsp +// RUN: %clang @%t/visible.rsp +// RUN: %clang @%t/invisible.rsp +// RUN: %clang @%t/A.rsp + +/// Verify compilation & scan agree with each other. +// RUN: not %clang @%t/tu.rsp 2>&1 | FileCheck %s --check-prefix=COMPILE + +// SINGLE: "visible-clang-modules": [ +// SINGLE-NEXT: "A" +// SINGLE-NEXT: ] + +// MULTIPLE: "visible-clang-modules": [ +// MULTIPLE-NEXT: "A", +// MULTIPLE-NEXT: "visible" +// MULTIPLE-NEXT: ] + +// COMPILE-NOT: 'visible_t' must be declared before it is used +// COMPILE: 'transitive_t' must be declared before it is used +// COMPILE: 'invisible_t' must be declared before it is used + +//--- compile-commands.json.in +[ +{ + "directory": "DIR", + "command": "clang -c DIR/client.c -isysroot DIR/Sysroot -IDIR/Sysroot/usr/include -fmodules -fmodules-cache-path=DIR/module-cache -fimplicit-module-maps", + "file": "DIR/client.c" +} +] + +//--- Sysroot/usr/include/A/module.modulemap +module A { + explicit module visibleToTU { + header "visibleToTU.h" + } + explicit module invisibleToTU { + header "invisibleToTU.h" + } +} + +//--- A_without_visible_export.modulemap ---------------- jansvoboda11 wrote:
```suggestion //--- A_with_visible_export.modulemap ``` https://github.com/llvm/llvm-project/pull/147969 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits