annotate gcc/testsuite/gcc.dg/builtins-13.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Copyright (C) 2003 Free Software Foundation.
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 Verify that the malloc-like __builtin_ allocation functions are
kono
parents:
diff changeset
4 correctly aliased by the compiler.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 Written by Roger Sayle, 12th April 2003. */
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 /* { dg-do link } */
kono
parents:
diff changeset
9 /* { dg-options "-ansi" } */
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 typedef __SIZE_TYPE__ size_t;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 extern void abort (void);
kono
parents:
diff changeset
14 extern void *malloc (size_t);
kono
parents:
diff changeset
15 extern void *calloc (size_t,size_t);
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 extern void link_error (void);
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 static int x;
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 void test1(void)
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 int *ptr1, *ptr2;
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 ptr1 = &x;
kono
parents:
diff changeset
26 ptr2 = (int*) malloc (sizeof (int));
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 *ptr1 = 12;
kono
parents:
diff changeset
29 *ptr2 = 8;
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 if (*ptr1 != 12)
kono
parents:
diff changeset
32 link_error();
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 void test2(void)
kono
parents:
diff changeset
36 {
kono
parents:
diff changeset
37 int *ptr1, *ptr2;
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 ptr1 = &x;
kono
parents:
diff changeset
40 ptr2 = (int*) calloc (1, sizeof (int));
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 *ptr1 = 12;
kono
parents:
diff changeset
43 *ptr2 = 8;
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 if (*ptr1 != 12)
kono
parents:
diff changeset
46 link_error ();
kono
parents:
diff changeset
47 }
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 int main()
kono
parents:
diff changeset
50 {
kono
parents:
diff changeset
51 test1 ();
kono
parents:
diff changeset
52 test2 ();
kono
parents:
diff changeset
53 return 0;
kono
parents:
diff changeset
54 }
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 #ifndef __OPTIMIZE__
kono
parents:
diff changeset
57 void link_error (void)
kono
parents:
diff changeset
58 {
kono
parents:
diff changeset
59 abort ();
kono
parents:
diff changeset
60 }
kono
parents:
diff changeset
61 #endif
kono
parents:
diff changeset
62