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
|
#include "analyzer-decls.h"
extern int errno;
extern void error (int __status, int __errnum, const char *__format, ...)
__attribute__ ((__format__ (__printf__, 3, 4)));
extern void error_at_line (int __status, int __errnum, const char *__fname,
unsigned int __lineno, const char *__format, ...)
__attribute__ ((__format__ (__printf__, 5, 6)));
/* When status is an unknown param. */
void test_1 (int st)
{
error (st, errno, "test");
__analyzer_eval (st == 0); /* { dg-warning "TRUE" } */
}
/* When status is known zero. */
void test_2 (int st)
{
error (0, errno, "test");
__analyzer_dump_path (); /* { dg-message "here" } */
}
/* When status is a non-zero known constant. */
void test_3 (int st)
{
error (1, errno, "test");
__analyzer_dump_path (); /* { dg-bogus "here" } */
}
/* When status has been tested against zero. */
void test_4 (int st)
{
if (st)
{
error (st, errno, "nonzero branch");
__analyzer_dump_path (); /* { dg-bogus "here" } */
}
else
{
error (st, errno, "zero branch");
__analyzer_dump_path (); /* { dg-message "here" } */
}
}
/* Similarly for error_at_line. */
void test_5 (int st)
{
error_at_line (st, errno, __FILE__, __LINE__, "test");
__analyzer_eval (st == 0); /* { dg-warning "TRUE" } */
}
/* Non-trivial format string. */
void test_6 (int st, const char *str)
{
error (st, errno, "test: %s", str);
__analyzer_eval (st == 0); /* { dg-warning "TRUE" } */
}
char *test_error_unterminated (int st)
{
char fmt[3] = "abc";
error (st, errno, fmt); /* { dg-warning "stack-based buffer over-read" } */
/* { dg-message "while looking for null terminator for argument 3 \\('&fmt'\\) of 'error'..." "event" { target *-*-* } .-1 } */
}
char *test_error_at_line_unterminated (int st, int errno)
{
char fmt[3] = "abc";
error_at_line (st, errno, __FILE__, __LINE__, fmt); /* { dg-warning "stack-based buffer over-read" } */
/* { dg-message "while looking for null terminator for argument 5 \\('&fmt'\\) of 'error_at_line'..." "event" { target *-*-* } .-1 } */
}
char *test_error_uninitialized (int st, int errno)
{
char fmt[16];
error (st, errno, fmt); /* { dg-warning "use of uninitialized value 'fmt\\\[0\\\]'" } */
/* { dg-message "while looking for null terminator for argument 3 \\('&fmt'\\) of 'error'..." "event" { target *-*-* } .-1 } */
}
char *test_error_at_line_uninitialized (int st, int errno)
{
char fmt[16];
error_at_line (st, errno, __FILE__, __LINE__, fmt); /* { dg-warning "use of uninitialized value 'fmt\\\[0\\\]'" } */
/* { dg-message "while looking for null terminator for argument 5 \\('&fmt'\\) of 'error_at_line'..." "event" { target *-*-* } .-1 } */
}
|
