annotate gcc/testsuite/c-c++-common/Wsizeof-pointer-memaccess4.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* PR c/88065 - ICE in -Wsizeof-pointer-memaccess on an invalid strncpy
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 PR c/87297 - ICE on strncpy with an undeclared argument
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 { dg-do compile }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 { dg-options "-Wall -Wsizeof-pointer-memaccess" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 typedef __SIZE_TYPE__ size_t;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 char* strncpy (char*, const char*, size_t);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 struct A { char a[4], b[6]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 void test_invalid_dst (struct A *p)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 strncpy (q->a, p->b, sizeof p->b); /* { dg-error ".q. undeclared|not declared" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 void test_invalid_src (struct A *p)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 strncpy (p->a, q->b, sizeof p->b); /* { dg-error ".q. undeclared|not declared" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 void test_invalid_bound (struct A *p)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 strncpy (p->a, p->b, sizeof q->b); /* { dg-error ".q. undeclared|not declared" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 /* Verify the C++ front end doesn't ICE (the verifies that the fix
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 for PR c/87297 uses error_operand_p to detect the invalid source
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 argument rather than just checking its equality to error_mark_node. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 struct B { char a[4]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 void test_cxx_invalid_dst (struct B *p, const char *s)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 struct T x; /* { dg-error "storage size|incomplete type|unused" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 __builtin_strncpy (x, s, sizeof p->a);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 }