1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// RUN: %clang_cc1 -w -emit-llvm %s -O1 -o - | FileCheck %s
// This used to "check for bug compatibility with gcc".
// Now it checks that that the "weak" declaration makes the value
// fully interposable whereas a "selectany" one is handled as constant
// and propagated.
// CHECK: @x = weak {{.*}}constant i32 123
const int x __attribute((weak)) = 123;
// CHECK: @y = weak_odr {{.*}}constant i32 234
const int y __attribute((selectany)) = 234;
int* f(void) {
return &x;
}
int g(void) {
// CHECK: load i32, ptr @x
// CHECK-NOT: ret i32 123
return *f();
}
int *k(void) {
return &y;
}
int l(void) {
// CHECK-NOT: load i32, ptr @y
// CHECK: ret i32 234
return *k();
}
|
