1  /* { dg-do compile } */
       2  /* { dg-options "-O -fipa-pta" } */
       3  
       4  extern void a (void);
       5  
       6  void b (void)
       7  {
       8    void *c;
       9    c = a;
      10    *(char *)c = 1;
      11  }