annotate gcc/testsuite/g++.dg/warn/Wreturn-local-addr-6.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/90737 - inconsistent address of a local converted to intptr_t
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 between callee and caller
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 "-O1 -Wall -Wreturn-local-addr -fdump-tree-optimized" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 typedef __INTPTR_TYPE__ intptr_t;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 const intptr_t&
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 return_addr_label_as_intref (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 label:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 if ((const intptr_t*)&&label == 0)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 __builtin_exit (1);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 return *(const intptr_t*)&&label; // { dg-warning "\\\[-Wreturn-local-addr]" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 const intptr_t&
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 return_addr_local_as_intref (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 int a[1];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 if ((const intptr_t*)a == 0)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 __builtin_exit (1);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 return (const intptr_t&)a; // { dg-warning "\\\[-Wreturn-local-addr]" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 /* Verify that the return value has been replaced with zero:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 { dg-final { scan-tree-dump-times "return 0;" 2 "optimized" } } */