1 /* { dg-do compile } */
2 /* { dg-options "-Os" } */
3 
4 /* Extracted from PR 16443.  Contributed by Volker Reichelt.
5    Scanning of __asm__ operands wasn't considering call-clobbered
6    variables discovered before the aliasing pass.  This was causing a
7    crash in verify_ssa() because 'p' was not being given an SSA_NAME.  */
8 
foo(char * p)9 void foo(char *p)
10 {
11     __asm__ ("" ::: "memory");
12 }
13 
bar()14 void bar()
15 {
16     static char *p;
17     foo(p);
18 }
19