Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/20040517-1.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do compile } */ /* { dg-options "-O1 -fdump-tree-alias-vops" } */ extern void abort (void); int a; extern void __attribute__ ((malloc)) *foo (); void bar (void) { a = 1; foo (); if (a) abort (); } /* We used to treat malloc functions like pure and const functions, but malloc functions may clobber global memory. Only the function result does not alias any other pointer. Hence, we must have a VDEF for a before and after the call to foo(). And one after the call to abort(). */ /* { dg-final { scan-tree-dump-times "VDEF" 3 "alias"} } */