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
|
/* Verify that the analyzer handles the no-optimization case in
glibc's <error.h> when error,error_at_line calls become
__error_alias and __error_at_line_alias. */
typedef __SIZE_TYPE__ size_t;
#define EXIT_FAILURE 1
#define __extern_always_inline extern inline __attribute__ ((__always_inline__)) __attribute__ ((__gnu_inline__))
int errno;
/* Adapted from glibc's bits/error.h. */
extern void __error_alias (int __status, int __errnum,
const char *__format, ...)
__attribute__ ((__format__ (__printf__, 3, 4)));
extern void __error_noreturn (int __status, int __errnum,
const char *__format, ...)
__attribute__ ((__noreturn__, __format__ (__printf__, 3, 4)));
/* If we know the function will never return make sure the compiler
realizes that, too. */
__extern_always_inline void
error (int __status, int __errnum, const char *__format, ...)
{
if (__builtin_constant_p (__status) && __status != 0)
__error_noreturn (__status, __errnum, __format, __builtin_va_arg_pack ());
else
__error_alias (__status, __errnum, __format, __builtin_va_arg_pack ());
}
extern void __error_at_line_alias (int __status, int __errnum,
const char *__fname,
unsigned int __line,
const char *__format, ...)
__attribute__ ((__format__ (__printf__, 5, 6)));
extern void __error_at_line_noreturn (int __status, int __errnum,
const char *__fname,
unsigned int __line,
const char *__format,
...)
__attribute__ ((__noreturn__, __format__ (__printf__, 5, 6)));
/* If we know the function will never return make sure the compiler
realizes that, too. */
__extern_always_inline void
error_at_line (int __status, int __errnum, const char *__fname,
unsigned int __line, const char *__format, ...)
{
if (__builtin_constant_p (__status) && __status != 0)
__error_at_line_noreturn (__status, __errnum, __fname, __line, __format,
__builtin_va_arg_pack ());
else
__error_at_line_alias (__status, __errnum, __fname, __line,
__format, __builtin_va_arg_pack ());
}
struct list {
size_t size;
void (*destroy)(void *data);
struct list_node *head;
struct list_node *tail;
};
struct list *list_create(void (*destroy)(void *data))
{
struct list *result = (struct list *)__builtin_calloc(1, sizeof(*result));
if (!result)
error(EXIT_FAILURE,errno,"%s:%d %s()",__FILE__,__LINE__,__func__);
result->destroy = destroy; /* { dg-bogus "dereference of NULL 'result'" } */
return result;
}
struct list *list_create_using_at_line(void (*destroy)(void *data))
{
struct list *result = (struct list *)__builtin_calloc(1, sizeof(*result));
if (!result)
error_at_line(EXIT_FAILURE,errno,__FILE__,__LINE__,
"%s()", __func__);
result->destroy = destroy; /* { dg-bogus "dereference of NULL 'result'" } */
return result;
}
|
