/* { 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);
}