File: typeid-should-throw.cpp

package info (click to toggle)
llvm-toolchain-6.0 1%3A6.0.1-10
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 598,080 kB
  • sloc: cpp: 3,046,253; ansic: 595,057; asm: 271,965; python: 128,926; objc: 106,554; sh: 21,906; lisp: 10,191; pascal: 6,094; ml: 5,544; perl: 5,265; makefile: 2,227; cs: 2,027; xml: 686; php: 212; csh: 117
file content (82 lines) | stat: -rw-r--r-- 2,368 bytes parent folder | download | duplicates (34)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
// RUN: %clang_cc1 %s -triple %itanium_abi_triple -Wno-unused-value -emit-llvm -o - -std=c++11 | FileCheck %s
namespace std {
struct type_info;
}

struct A {
  virtual ~A();
  operator bool();
};
struct B : A {};

void f1(A *x) { typeid(false, *x); }
// CHECK-LABEL: define {{.*}}void @_Z2f1P1A
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f2(bool b, A *x, A *y) { typeid(b ? *x : *y); }
// CHECK-LABEL: define {{.*}}void @_Z2f2bP1AS0_
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f3(bool b, A *x, A &y) { typeid(b ? *x : y); }
// CHECK-LABEL: define {{.*}}void @_Z2f3bP1ARS_
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f4(bool b, A &x, A *y) { typeid(b ? x : *y); }
// CHECK-LABEL: define {{.*}}void @_Z2f4bR1APS_
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f5(volatile A *x) { typeid(*x); }
// CHECK-LABEL: define {{.*}}void @_Z2f5PV1A
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f6(A *x) { typeid((B &)*(B *)x); }
// CHECK-LABEL: define {{.*}}void @_Z2f6P1A
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f7(A *x) { typeid((*x)); }
// CHECK-LABEL: define {{.*}}void @_Z2f7P1A
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f8(A *x) { typeid(x[0]); }
// CHECK-LABEL: define {{.*}}void @_Z2f8P1A
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f9(A *x) { typeid(0[x]); }
// CHECK-LABEL: define {{.*}}void @_Z2f9P1A
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f10(A *x, A *y) { typeid(*y ?: *x); }
// CHECK-LABEL: define {{.*}}void @_Z3f10P1AS0_
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f11(A *x, A &y) { typeid(*x ?: y); }
// CHECK-LABEL: define {{.*}}void @_Z3f11P1ARS_
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f12(A &x, A *y) { typeid(x ?: *y); }
// CHECK-LABEL: define {{.*}}void @_Z3f12R1APS_
// CHECK:       icmp eq {{.*}}, null
// CHECK-NEXT:  br i1

void f13(A &x, A &y) { typeid(x ?: y); }
// CHECK-LABEL: define {{.*}}void @_Z3f13R1AS0_
// CHECK-NOT:   icmp eq {{.*}}, null

void f14(A *x) { typeid((const A &)(A)*x); }
// CHECK-LABEL: define {{.*}}void @_Z3f14P1A
// CHECK-NOT:   icmp eq {{.*}}, null

void f15(A *x) { typeid((A &&)*(A *)nullptr); }
// CHECK-LABEL: define {{.*}}void @_Z3f15P1A
// CHECK-NOT:   icmp eq {{.*}}, null