annotate gcc/testsuite/gcc.dg/Wrestrict-4.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* PR tree-optimization/83603 - ICE in builtin_memref at
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 gcc/gimple-ssa-warn-restrict.c:238
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 Test to verify that invalid calls to built-in functions declared
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 without a prototype don't cause an ICE.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 { dg-do compile }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 { dg-options "-O2 -Warray-bounds -Wrestrict" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 void* memcpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 void* memmove ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 char* stpcpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 char* strcat ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 char* strcpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 char* strncat ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 char* strncpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 void* test_memcpy_0 ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 return memcpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 void* test_memcpy_1 (void *d)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 return memcpy (d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 void* test_memcpy_2 (void *d, const void *s)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 return memcpy (d, s);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 void* test_memmove_0 ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 return memmove ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 void* test_memmove_1 (void *d)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 return memmove (d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 void* test_memmove_2 (void *d, const void *s)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44 return memmove (d, s);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
47
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
48 void* test_stpcpy_0 ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
49 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
50 return stpcpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
51 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
52
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
53 void* test_stpcpy_1 (char *d)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
54 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
55 return stpcpy (d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
56 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
57
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
58
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
59 char* test_strcat_0 ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
60 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
61 return strcat ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
62 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
63
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
64 char* test_strcat_1 (char *d)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
65 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
66 return strcat (d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
67 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
68
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
69
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
70 void* test_strcpy_0 ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
71 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
72 return strcpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
73 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
74
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
75 void* test_strcpy_1 (char *d)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
76 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
77 return strcpy (d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
78 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
79
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
80
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
81 char* test_strncat_0 ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
82 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
83 return strncat ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
84 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
85
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
86 char* test_strncat_1 (char *d)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
87 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
88 return strncat (d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
89 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
90
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
91 char* test_strncat_2 (char *d, const char *s)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
92 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
93 return strncat (d, s);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
94 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
95
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
96
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
97 void* test_strncpy_0 ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
98 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
99 return strncpy ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
100 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
101
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
102 void* test_strncpy_1 (char *d)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
103 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
104 return strncpy (d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
105 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
106
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
107 void* test_strncpy_2 (char *d, const char *s)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
108 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
109 return strncpy (d, s);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
110 }