1  /* PR middle-end/96335 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2" } */
       4  
       5  void bar (int, void *) __attribute__((__access__(__read_only__, 2)));
       6  
       7  void
       8  foo (void *x)
       9  {
      10    void (*fn) () = bar;
      11    fn (0, x);
      12  }