mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-14 09:56:33 +00:00

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.
34 lines
1.2 KiB
C++
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
|