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
|
// Test -fno-delete-null-pointer-checks
// RUN: %ldc -c -output-ll -of=%t_ub.ll %s && FileCheck -check-prefix=NULL_UB -check-prefix=BOTH %s < %t_ub.ll
// RUN: %ldc -fno-delete-null-pointer-checks -c -output-ll -of=%t.ll %s && FileCheck -check-prefix=NULL_OK -check-prefix=BOTH %s < %t.ll
// BOTH-LABEL: define{{.*}} @foo
// BOTH-SAME: #[[ATTR:[0-9]+]]
extern (C) double foo(double a, double b)
{
double c;
return a * b + c;
// BOTH-LABEL: define{{.*}} @{{.*}}nested_func
// NULL_UB-SAME: nonnull
// NULL_OK-NOT: nonnull
void nested_func()
{
c = 1;
}
}
struct S
{
// BOTH-LABEL: define{{.*}} @{{.*}}member_func
// NULL_UB-SAME: nonnull
// NULL_OK-NOT: nonnull
void member_func() {}
}
class C
{
// BOTH-LABEL: define{{.*}} @{{.*}}member_2_func
// NULL_UB-SAME: nonnull
// NULL_OK-NOT: nonnull
void member_2_func() {}
}
// BOTH-LABEL: define{{.*}} @{{.*}}some_other_function
// NULL_UB-SAME: nonnull
// NULL_OK-NOT: nonnull
struct Opaque;
void some_other_function(ref Opaque b)
{
}
// NULL_OK-DAG: attributes #[[ATTR]] ={{.*null.pointer.is.valid}}
// NULL_UB-NOT: null-pointer-is-valid
// NULL_UB-NOT: null_pointer_is_valid
|
