Skip to content

Commit a1b4238

Browse files
authored
[clang][deps] Fix __has_include behavior with umbrella headers (#70144)
Previously, Clang wouldn't try to resolve the module for the header being checked via `__has_include`. This meant that such header was considered textual (a.k.a. part of the module Clang is currently compiling). rdar://116926060
1 parent 94ed99a commit a1b4238

File tree

2 files changed

+82
-1
lines changed

2 files changed

+82
-1
lines changed

clang/lib/Lex/PPMacroExpansion.cpp

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1248,10 +1248,15 @@ static bool EvaluateHasIncludeCommon(Token &Tok, IdentifierInfo *II,
12481248
if (Filename.empty())
12491249
return false;
12501250

1251+
// Passing this to LookupFile forces header search to check whether the found
1252+
// file belongs to a module. Skipping that check could incorrectly mark
1253+
// modular header as textual, causing issues down the line.
1254+
ModuleMap::KnownHeader KH;
1255+
12511256
// Search include directories.
12521257
OptionalFileEntryRef File =
12531258
PP.LookupFile(FilenameLoc, Filename, isAngled, LookupFrom, LookupFromFile,
1254-
nullptr, nullptr, nullptr, nullptr, nullptr, nullptr);
1259+
nullptr, nullptr, nullptr, &KH, nullptr, nullptr);
12551260

12561261
if (PPCallbacks *Callbacks = PP.getPPCallbacks()) {
12571262
SrcMgr::CharacteristicKind FileType = SrcMgr::C_User;
Lines changed: 76 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,76 @@
1+
// This test checks that __has_include(<FW/PrivateHeader.h>) in a module does
2+
// not clobber #include <FW/PrivateHeader.h> in importers of said module.
3+
4+
// RUN: rm -rf %t
5+
// RUN: split-file %s %t
6+
7+
//--- cdb.json.template
8+
[{
9+
"file": "DIR/tu.c",
10+
"directory": "DIR",
11+
"command": "clang DIR/tu.c -fmodules -fmodules-cache-path=DIR/cache -I DIR/modules -F DIR/frameworks -o DIR/tu.o"
12+
}]
13+
14+
//--- frameworks/FW.framework/Modules/module.private.modulemap
15+
framework module FW_Private {
16+
umbrella header "A.h"
17+
module * { export * }
18+
}
19+
//--- frameworks/FW.framework/PrivateHeaders/A.h
20+
#include <FW/B.h>
21+
//--- frameworks/FW.framework/PrivateHeaders/B.h
22+
#include "dependency.h"
23+
24+
//--- modules/module.modulemap
25+
module Poison { header "poison.h" }
26+
module Import { header "import.h" }
27+
module Dependency { header "dependency.h" }
28+
//--- modules/poison.h
29+
#if __has_include(<FW/B.h>)
30+
#define HAS_B 1
31+
#else
32+
#define HAS_B 0
33+
#endif
34+
//--- modules/import.h
35+
#include <FW/B.h>
36+
//--- modules/dependency.h
37+
38+
//--- tu.c
39+
#include "poison.h"
40+
41+
#if __has_include(<FW/B.h>)
42+
#endif
43+
44+
#include "import.h"
45+
46+
#include <FW/B.h>
47+
48+
// RUN: sed -e "s|DIR|%/t|g" %t/cdb.json.template > %t/cdb.json
49+
// RUN: clang-scan-deps -compilation-database %t/cdb.json -format experimental-full > %t/deps.json
50+
// RUN: cat %t/deps.json | sed 's:\\\\\?:/:g' | FileCheck %s -DPREFIX=%/t
51+
52+
// Let's check that the TU actually depends on `FW_Private` (and does not treat FW/B.h as textual).
53+
// CHECK: {
54+
// CHECK: "translation-units": [
55+
// CHECK-NEXT: {
56+
// CHECK-NEXT: "commands": [
57+
// CHECK-NEXT: {
58+
// CHECK-NEXT: "clang-context-hash": "{{.*}}",
59+
// CHECK-NEXT: "clang-module-deps": [
60+
// CHECK-NEXT: {
61+
// CHECK-NEXT: "context-hash": "{{.*}}",
62+
// CHECK-NEXT: "module-name": "FW_Private"
63+
// CHECK-NEXT: }
64+
// CHECK: ],
65+
// CHECK-NEXT: "command-line": [
66+
// CHECK: ],
67+
// CHECK-NEXT: "executable": "clang",
68+
// CHECK-NEXT: "file-deps": [
69+
// CHECK-NEXT: "[[PREFIX]]/tu.c"
70+
// CHECK-NEXT: ],
71+
// CHECK-NEXT: "input-file": "[[PREFIX]]/tu.c"
72+
// CHECK-NEXT: }
73+
// CHECK: ]
74+
// CHECK: }
75+
// CHECK: ]
76+
// CHECK: }

0 commit comments

Comments
 (0)