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  
       9  void foo(char *p)
      10  {
      11      __asm__ ("" ::: "memory");
      12  }
      13  
      14  void bar()
      15  {
      16      static char *p;
      17      foo(p);
      18  }