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
32
33
34
35
36
37
38
39
40
41
|
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fblocks %s -emit-llvm -o - | FileCheck %s -check-prefix=UNINIT
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fblocks -ftrivial-auto-var-init=pattern %s -emit-llvm -o - | FileCheck %s -check-prefix=PATTERN
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fblocks -ftrivial-auto-var-init=zero %s -emit-llvm -o - | FileCheck %s -check-prefix=ZERO
template<typename T> void used(T &) noexcept;
extern "C" {
// UNINIT-LABEL: test_attribute_uninitialized(
// UNINIT: alloca
// UNINIT-NEXT: call void
// ZERO-LABEL: test_attribute_uninitialized(
// ZERO: alloca
// ZERO-NOT: !annotation
// ZERO-NEXT: call void
// PATTERN-LABEL: test_attribute_uninitialized(
// PATTERN: alloca
// PATTERN-NOT: !annotation
// PATTERN-NEXT: call void
void test_attribute_uninitialized() {
[[clang::uninitialized]] int i;
used(i);
}
#pragma clang attribute push([[clang::uninitialized]], apply_to = variable(is_local))
// UNINIT-LABEL: test_pragma_attribute_uninitialized(
// UNINIT: alloca
// UNINIT-NEXT: call void
// ZERO-LABEL: test_pragma_attribute_uninitialized(
// ZERO: alloca
// ZERO-NEXT: call void
// PATTERN-LABEL: test_pragma_attribute_uninitialized(
// PATTERN: alloca
// PATTERN-NEXT: call void
void test_pragma_attribute_uninitialized() {
int i;
used(i);
}
#pragma clang attribute pop
} // extern "C"
|
