Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / Analysis / func-mapping-test.cpp
blobe5d242d67758f2624bf4a1b42f4f0de0a0b5c0d0
1 // RUN: %clang_extdef_map %s -- | FileCheck --implicit-check-not "c:@y" --implicit-check-not "c:@z" %s
2 // RUN: %clang -emit-ast %s -o %t.ast
3 // RUN: %clang_extdef_map %t.ast -- | FileCheck --implicit-check-not "c:@y" --implicit-check-not "c:@z" %s
5 int f(int) {
6 return 0;
8 // CHECK-DAG: 9:c:@F@f#I#
10 extern const int x = 5;
11 // CHECK-DAG: 4:c:@x
13 // Non-const variables should not be collected.
14 int y = 5;
16 // In C++, const implies internal linkage, so not collected.
17 const int z = 5;
19 struct S {
20 int a;
22 extern S const s = {.a = 2};
23 // CHECK-DAG: 4:c:@s
25 struct SF {
26 const int a;
28 extern const SF sf = {.a = 2};
29 // CHECK-DAG: 5:c:@sf
31 struct SStatic {
32 static const int a = 4;
34 const int SStatic::a;
35 // CHECK-DAG: 14:c:@S@SStatic@a
37 extern int const arr[5] = { 0, 1 };
38 // CHECK-DAG: 6:c:@arr
40 union U {
41 const int a;
42 const unsigned int b;
44 extern const U u = {.a = 6};
45 // CHECK-DAG: 4:c:@u
47 // No USR can be generated for this.
48 // Check for no crash in this case.
49 static union {
50 float uf;
51 const int ui;
54 void f(int (*)(char));
55 void f(bool (*)(char));
57 struct G {
58 G() {
59 f([](char) -> int { return 42; });
60 // CHECK-DAG: 41:c:@S@G@F@G#@Sa@F@operator int (*)(char)#1
61 f([](char) -> bool { return true; });
62 // CHECK-DAG: 42:c:@S@G@F@G#@Sa@F@operator bool (*)(char)#1