================
@@ -644,6 +644,76 @@ import M;
EXPECT_EQ(CDB.getGlobalScanningCount(), 1u);
}
+// Test that canReuse detects changes to headers included in module units.
+// This verifies that the ASTReader correctly tracks header file dependencies
+// in BMI files and that IsModuleFileUpToDate correctly validates them.
+TEST_F(PrerequisiteModulesTests, CanReuseWithHeadersInModuleUnit) {
+ MockDirectoryCompilationDatabase CDB(TestDir, FS);
+
+ // Create a header file that will be included in a module unit
+ CDB.addFile("header1.h", R"cpp(
+inline int getValue() { return 42; }
+ )cpp");
+
+ // Module M includes header1.h in the global module fragment
+ CDB.addFile("M.cppm", R"cpp(
+module;
+#include "header1.h"
+export module M;
+export int m_value = getValue();
+ )cpp");
+
+ // Module N imports M (similar structure to ReusabilityTest)
+ CDB.addFile("N.cppm", R"cpp(
+export module N;
+import :Part;
+import M;
+ )cpp");
+
+ // Add a module partition (similar to ReusabilityTest)
+ CDB.addFile("N-part.cppm", R"cpp(
+export module N:Part;
+ )cpp");
+
+ ModulesBuilder Builder(CDB);
+
+ // Build prerequisite modules for N (which depends on M)
+ auto NInfo = Builder.buildPrerequisiteModulesFor(getFullPath("N.cppm"), FS);
+ EXPECT_TRUE(NInfo);
----------------
ArcsinX wrote:
nit: maybe we can use `ASSERT_TRUE` here instead of `EXPECT_TRUE` to avoid
crash at dereferencing below if this check fails.
https://github.com/llvm/llvm-project/pull/187653
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
