OSDN Git Service

5f99be2874eeb3f4901abf88e815202d1b79a87a
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / tree-ssa / 20040517-1.c
1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-ssa-vops" } */
3 extern void abort (void);
4 int a; 
5  
6 extern void __attribute__ ((malloc)) *foo ();
7  
8 void bar (void) 
9
10   a = 1; 
11   foo (); 
12   if (a) 
13     abort (); 
14
15
16 /* We used to treat malloc functions like pure and const functions, but
17    malloc functions may clobber global memory.  Only the function result
18    does not alias any other pointer.
19    Hence, we must have a VDEF for a before and after the call to foo().  */
20 /* { dg-final { scan-tree-dump-times "V_MAY_DEF" 1 "ssa"} } */
21