Author: Anders Waldenborg Date: 2022-06-01T20:18:54+02:00 New Revision: 86f9cf88cb06d36e37ef8de006b2a0b651c9b7e9
URL: https://github.com/llvm/llvm-project/commit/86f9cf88cb06d36e37ef8de006b2a0b651c9b7e9 DIFF: https://github.com/llvm/llvm-project/commit/86f9cf88cb06d36e37ef8de006b2a0b651c9b7e9.diff LOG: [clang] Add tests for (const) weak variables This adds tests checking the behavior of const variables declared with weak attribute. Both checking that they can not be used in places where a constant expression is required and that a dynamic initializer is emitted when used as an initializer expression. Differential Revision: https://reviews.llvm.org/D126578 Added: clang/test/CodeGenCXX/weak-init.cpp clang/test/SemaCXX/weak-init.cpp Modified: Removed: ################################################################################ diff --git a/clang/test/CodeGenCXX/weak-init.cpp b/clang/test/CodeGenCXX/weak-init.cpp new file mode 100644 index 0000000000000..634021f38f854 --- /dev/null +++ b/clang/test/CodeGenCXX/weak-init.cpp @@ -0,0 +1,11 @@ +// RUN: %clang_cc1 -triple=x86_64-pc-linux-gnu -emit-llvm %s -o - | FileCheck %s + +extern const int W __attribute__((weak)) = 99; +const int S = 77; + +// CHECK: @C1 = {{.*}} 77 +extern const int C1 = S; + +// CHECK: %0 = load {{.*}} @W +// CHECK-NEXT: store {{.*}} %0, {{.*}} @C2 +extern const int C2 = W; diff --git a/clang/test/SemaCXX/weak-init.cpp b/clang/test/SemaCXX/weak-init.cpp new file mode 100644 index 0000000000000..c040330bb274a --- /dev/null +++ b/clang/test/SemaCXX/weak-init.cpp @@ -0,0 +1,15 @@ +// RUN: %clang_cc1 %s -verify -fsyntax-only + +extern const int W1 __attribute__((weak)) = 10; // expected-note {{declared here}} + +static_assert(W1 == 10, ""); // expected-error {{static_assert expression is not an integral constant expression}} + // expected-note@-1 {{initializer of weak variable 'W1' is not considered constant because it may be diff erent at runtime}} + +extern const int W2 __attribute__((weak)) = 20; + +int S2[W2]; // expected-error {{variable length array declaration not allowed at file scope}} + +extern const int W3 __attribute__((weak)) = 30; // expected-note {{declared here}} + +constexpr int S3 = W3; // expected-error {{constexpr variable 'S3' must be initialized by a constant expression}} + // expected-note@-1 {{initializer of weak variable 'W3' is not considered constant because it may be diff erent at runtime}} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
