File: modules-include-tree-implementation-via-spurious.c

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (74 lines) | stat: -rw-r--r-- 2,912 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
// REQUIRES: ondisk_cas

// This test checks that we correctly handle situations where a spurious modular
// dependency (1) turns otherwise textual dependency into modular (2).
//
// (1) For example #include <Spurious/Missing.h>, where the framework Spurious
// has an umbrella header that does not include Missing.h, making it a textual
// include instead.
//
// (2) For example when compiling the implementation file of a module Mod,
// #included headers belonging to Mod are treated textually, unless some other
// module already depends on Mod in its modular form.

// RUN: rm -rf %t
// RUN: split-file %s %t
// RUN: sed "s|DIR|%/t|g" %t/cdb.json.in > %t/cdb.json

//--- cdb.json.in
[{
  "file": "DIR/tu.m",
  "directory": "DIR",
  "command": "clang -c DIR/tu.m -o DIR/tu.o -F DIR/frameworks -I DIR/include -fmodule-name=Mod -fmodules -fimplicit-module-maps -fmodules-cache-path=DIR/module-cache"
}]

//--- frameworks/Spurious.framework/Modules/module.modulemap
framework module Spurious {
  umbrella header "Spurious.h"
  module * { export * }
}
//--- frameworks/Spurious.framework/Headers/Spurious.h
#include <Mod.h>
//--- frameworks/Spurious.framework/Headers/Missing.h

//--- include/module.modulemap
module Mod { header "Mod.h" }
//--- include/Mod.h
typedef int mod_int;

//--- tu.m
#include <Spurious/Missing.h>
#include <Mod.h>
static mod_int x;

// RUN: clang-scan-deps -compilation-database %t/cdb.json \
// RUN:   -format experimental-full \
// RUN:   -module-files-dir %t/outputs > %t/deps.json

// RUN: %deps-to-rsp %t/deps.json --module-name=Mod      > %t/Mod.cc1.rsp
// RUN: %deps-to-rsp %t/deps.json --module-name=Spurious > %t/Spurious.cc1.rsp
// RUN: %deps-to-rsp %t/deps.json --tu-index=0           > %t/tu.rsp

// RUN: %clang @%t/Mod.cc1.rsp
// RUN: %clang @%t/Spurious.cc1.rsp
// RUN: %clang @%t/tu.rsp

// RUN: clang-scan-deps -compilation-database %t/cdb.json \
// RUN:   -format experimental-include-tree-full -cas-path %t/cas \
// RUN:   -module-files-dir %t/cas-outputs > %t/cas-deps.json

// RUN: %deps-to-rsp %t/cas-deps.json --module-name=Mod      > %t/cas-Mod.cc1.rsp
// RUN: %deps-to-rsp %t/cas-deps.json --module-name=Spurious > %t/cas-Spurious.cc1.rsp
// RUN: %deps-to-rsp %t/cas-deps.json --tu-index=0           > %t/cas-tu.rsp

// RUN: cat %t/cas-tu.rsp | sed -E 's|.*"-fcas-include-tree" "(llvmcas://[[:xdigit:]]+)".*|\1|' > %t/tu.casid
// RUN: clang-cas-test -cas %t/cas -print-include-tree @%t/tu.casid > %t/tu-include-tree.txt
// RUN: FileCheck %s -input-file %t/tu-include-tree.txt -DPREFIX=%/t
// CHECK:      [[PREFIX]]/tu.m llvmcas://
// CHECK-NEXT: 1:1 <built-in> llvmcas://
// CHECK-NEXT: 2:1 (Spurious import) (Module) Spurious.Missing [[PREFIX]]/frameworks/Spurious.framework/Headers/Missing.h llvmcas://
// CHECK-NEXT: 3:1 (Module for visibility only) Mod

// RUN: %clang @%t/cas-Mod.cc1.rsp
// RUN: %clang @%t/cas-Spurious.cc1.rsp
// RUN: %clang @%t/cas-tu.rsp