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
|
/* PR preprocessor/79214 - -Wno-system-header defeats strncat buffer overflow
warnings
{ dg-do compile }
{ dg-options "-O2" } */
#include "pr79214.h"
typedef __SIZE_TYPE__ size_t;
char d[3];
char s[4];
static size_t range (void)
{
extern size_t size ();
size_t n = size ();
if (n <= sizeof d)
return sizeof d + 1;
return n;
}
void test_bzero (void)
{
bzero (d, range ()); /* { dg-warning ".__builtin_(bzero|memset). writing 4 or more bytes into a region of size 3 overflows the destination" } */
}
void test_memcpy (void)
{
memcpy (d, s, range ()); /* { dg-warning ".__builtin_memcpy. writing 4 or more bytes into a region of size 3 overflows the destination" } */
}
void test_memmove (void)
{
memmove (d, d + 1, range ()); /* { dg-warning ".__builtin_memmove. writing 4 or more bytes into a region of size 3 overflows the destination" } */
}
void test_mempcpy (void)
{
mempcpy (d, s, range ()); /* { dg-warning ".__builtin_mempcpy. writing 4 or more bytes into a region of size 3 overflows the destination" } */
}
void test_memset (int n)
{
memset (d, n, range ()); /* { dg-warning ".__builtin_memset. writing 4 or more bytes into a region of size 3 overflows the destination" } */
}
void test_strcat (int i)
{
const char *s = i < 0 ? "123" : "4567";
strcat (d, s); /* { dg-warning ".__builtin_strcat. writing between 4 and 5 bytes into a region of size 3 overflows the destination" } */
}
char* test_stpcpy (int i)
{
const char *s = i < 0 ? "123" : "4567";
return stpcpy (d, s); /* { dg-warning ".__builtin_stpcpy. writing between 4 and 5 bytes into a region of size 3 overflows the destination" } */
}
char* test_stpncpy (int i)
{
const char *s = i < 0 ? "123" : "4567";
return stpncpy (d, s, range ()); /* { dg-warning ".__builtin_stpncpy. writing 4 or more bytes into a region of size 3 overflows the destination" } */
}
char* test_strcpy (int i)
{
const char *s = i < 0 ? "123" : "4567";
return strcpy (d, s); /* { dg-warning ".__builtin_strcpy. writing between 4 and 5 bytes into a region of size 3 overflows the destination" } */
}
char* test_strncpy (int i)
{
const char *s = i < 0 ? "123" : "4567";
return strncpy (d, s, range ()); /* { dg-warning ".__builtin_strncpy. writing 4 or more bytes into a region of size 3 overflows the destination" } */
}
char* test_strncat (int i)
{
const char *s = i < 0 ? "123" : "4567";
return strncat (d, s, range ()); /* { dg-warning ".__builtin_strncat. specified bound between 4 and \[0-9\]+" } */
}
|
