gcc/testsuite/gcc.dg/tree-ssa/20040713-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

/* { dg-do compile } */
/* { dg-options "-Os" } */

/* Extracted from PR 16443.  Contributed by Volker Reichelt.
   Scanning of __asm__ operands wasn't considering call-clobbered
   variables discovered before the aliasing pass.  This was causing a
   crash in verify_ssa() because 'p' was not being given an SSA_NAME.  */

void foo(char *p)
{
    __asm__ ("" ::: "memory");
}

void bar()
{
    static char *p;
    foo(p);
}