llvm-capstone/clang/test/Modules/cxx20-force-check-input.cppm
Chuanqi Xu 96122b5b71 [C++20] [Modules] Introduce ForceCheckCXX20ModulesInputFiles options for
C++20 modules

Previously, we banned the check for input files from C++20 modules since
we thought the BMI from C++20 modules should be a standalone artifact.

However, during the recent experiment with clangd for modules, I find
it is necessary to tell whether or not a BMI is out-of-date by checking the
input files especially for language servers.

So this patch brings a header search option
ForceCheckCXX20ModulesInputFiles to allow the tools (concretly, clangd)
to check the input files from BMI.
2023-09-08 16:53:12 +08:00

34 lines
1.2 KiB
C++

// RUN: rm -rf %t
// RUN: split-file %s %t
//
// RUN: %clang_cc1 -std=c++20 -triple %itanium_abi_triple \
// RUN: %t/a.cppm -emit-module-interface -o %t/a.pcm
//
// RUN: echo "inline int bar = 46;" >> %t/foo.h
// RUNX: %clang_cc1 -std=c++20 -triple %itanium_abi_triple \
// RUNX: %t/use.cpp -fmodule-file=a=%t/a.pcm -verify -fsyntax-only
// RUNX: %clang_cc1 -std=c++20 -triple %itanium_abi_triple \
// RUNX: %t/a.pcm -emit-llvm -o - | FileCheck %t/a.ll
//
// RUN: echo "export int var = 43;" >> %t/a.cppm
// RUNX: %clang_cc1 -std=c++20 -triple %itanium_abi_triple \
// RUNX: %t/use.cpp -fmodule-file=a=%t/a.pcm -verify -fsyntax-only
// RUNX: %clang_cc1 -std=c++20 -triple %itanium_abi_triple \
// RUNX: %t/a.pcm -emit-llvm -o - | FileCheck %t/a.ll
//
// RUN: not %clang_cc1 -std=c++20 -triple %itanium_abi_triple \
// RUN: -fforce-check-cxx20-modules-input-files %t/a.pcm \
// RUN: -emit-llvm -o - 2>&1 | FileCheck %t/a.cppm -check-prefix=CHECK-FAILURE
//--- foo.h
inline int foo = 43;
//--- a.cppm
// expected-no-diagnostics
module;
#include "foo.h"
export module a;
export using ::foo;
// CHECK-FAILURE: fatal error:{{.*}}a.cppm' has been modified since the AST file {{.*}}was built