98322d3eb4
The attributes changes were left out of Clang 17. Attributes that used to take a string literal now accept an unevaluated string literal instead, which means they reject numeric escape sequences and strings literal with an encoding prefix - but the later was already ill-formed in most cases. We need to know that we are going to parse an unevaluated string literal before we do - so we can reject numeric escape sequence, so we derive from Attrs.td which attributes parameters are expected to be string literals. Reviewed By: aaron.ballman Differential Revision: https://reviews.llvm.org/D156237
72 lines
2.8 KiB
C++
72 lines
2.8 KiB
C++
// RUN: %clang_cc1 -verify -fsyntax-only -triple x86_64-linux-gnu %s
|
|
|
|
int x __attribute__((section(
|
|
42))); // expected-error {{expected string literal as argument of 'section' attribute}}
|
|
|
|
|
|
// PR6007
|
|
void test() {
|
|
__attribute__((section("NEAR,x"))) int n1; // expected-error {{'section' attribute only applies to functions, global variables, Objective-C methods, and Objective-C properties}}
|
|
__attribute__((section("NEAR,x"))) static int n2; // ok.
|
|
}
|
|
|
|
// pr9356
|
|
void __attribute__((section("foo"))) test2(); // expected-note {{previous attribute is here}}
|
|
void __attribute__((section("bar"))) test2() {} // expected-warning {{section does not match previous declaration}}
|
|
|
|
enum __attribute__((section("NEAR,x"))) e { one }; // expected-error {{'section' attribute only applies to}}
|
|
|
|
extern int a; // expected-note {{previous declaration is here}}
|
|
int *b = &a;
|
|
extern int a __attribute__((section("foo,zed"))); // expected-warning {{section attribute is specified on redeclared variable}}
|
|
|
|
// Not a warning.
|
|
extern int c;
|
|
int c __attribute__((section("foo,zed")));
|
|
|
|
// Also OK.
|
|
struct r_debug {};
|
|
extern struct r_debug _r_debug;
|
|
struct r_debug _r_debug __attribute__((nocommon, section(".r_debug,bar")));
|
|
|
|
namespace override {
|
|
struct A {
|
|
__attribute__((section("foo"))) virtual void f(){};
|
|
};
|
|
struct B : A {
|
|
void f() {} // ok
|
|
};
|
|
struct C : A {
|
|
__attribute__((section("bar"))) void f(); // expected-note {{previous}}
|
|
};
|
|
__attribute__((section("baz"))) // expected-warning {{section does not match}}
|
|
void C::f() {}
|
|
}
|
|
|
|
// Check for section type conflicts between global variables and function templates
|
|
template <typename> __attribute__((section("template_fn1"))) void template_fn1() {} // expected-note {{declared here}}
|
|
const int const_global_var __attribute__((section("template_fn1"))) = 42; // expected-error {{'const_global_var' causes a section type conflict with 'template_fn1'}}
|
|
int mut_global_var __attribute__((section("template_fn2"))) = 42; // expected-note {{declared here}}
|
|
template <typename> __attribute__((section("template_fn2"))) void template_fn2() {} // expected-error {{'template_fn2' causes a section type conflict with 'mut_global_var'}}
|
|
|
|
namespace mutable_member {
|
|
struct t1 {
|
|
mutable int i;
|
|
};
|
|
extern const t1 v1;
|
|
__attribute__((section("mutable_member"))) const t1 v1{};
|
|
extern int i;
|
|
__attribute__((section("mutable_member"))) int i{};
|
|
} // namespace mutable_member
|
|
|
|
namespace non_trivial_ctor {
|
|
struct t1 {
|
|
t1();
|
|
constexpr t1(int) { }
|
|
};
|
|
extern const t1 v1;
|
|
__attribute__((section("non_trivial_ctor"))) const t1 v1; // expected-note {{declared here}}
|
|
extern const t1 v2;
|
|
__attribute__((section("non_trivial_ctor"))) const t1 v2{3}; // expected-error {{'v2' causes a section type conflict with 'v1'}}
|
|
} // namespace non_trivial_ctor
|