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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
/* Template: assertion */
/*
* No error
*/
{
// Nothing to see here, so all parameters are nullable.
}
/*
* warning: null passed to a callee which requires a non-null argument
* assertion_func (NULL, 1, obj);
* ~~~~ ^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~ ^
*/
{
g_return_if_fail (some_str != NULL);
}
/*
* null passed to a callee which requires a non-null argument
* assertion_func ("str", 2, NULL);
* ~~~~^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~^
*/
{
g_return_if_fail (some_obj != NULL);
}
/*
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 1, obj);
* ~~~~ ^
* null passed to a callee which requires a non-null argument
* assertion_func ("str", 2, NULL);
* ~~~~^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~ ^
*/
{
g_return_if_fail (some_str != NULL);
g_return_if_fail (some_obj != NULL);
}
/*
* null passed to a callee which requires a non-null argument
* assertion_func ("str", 2, NULL);
* ~~~~^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~^
*/
{
gpointer some_priv = (gpointer) some_obj; // simulated setup of private data
g_return_if_fail (some_obj != NULL);
}
/*
* null passed to a callee which requires a non-null argument
* assertion_func ("str", 2, NULL);
* ~~~~^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~^
*/
{
g_return_if_fail ("unrelated" == "assertion");
g_return_if_fail (some_obj != NULL);
}
/*
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 1, obj);
* ~~~~ ^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~ ^
*/
{
// A non-explicit non-NULL check.
g_return_if_fail (some_str);
}
/*
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 1, obj);
* ~~~~ ^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~ ^
*/
{
// A really weird non-NULL check.
g_return_if_fail (some_str != 0);
}
/*
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 1, obj);
* ~~~~ ^
* null passed to a callee which requires a non-null argument
* assertion_func ("str", 2, NULL);
* ~~~~^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~^
* null passed to a callee which requires a non-null argument
* assertion_func (NULL, 3, NULL);
* ~~~~ ^
*/
{
// Dual non-NULL checks.
g_return_if_fail (some_str && some_obj);
}
/*
* No error
*/
{
// Can’t statically analyse this at the moment.
g_return_if_fail (some_str || some_obj);
}
|
