1  /* { dg-options "-O2 -fdump-ipa-modref"  } */
       2  /* { dg-do compile } */
       3  __attribute__((noinline))
       4  void a(char *ptr, char *ptr2)
       5  {
       6    (*ptr)++;
       7    (*ptr2)++;
       8  }
       9  
      10  __attribute__((noinline))
      11  void b(char *ptr)
      12  {
      13    a(ptr+1,&ptr[3]);
      14  }
      15  
      16  int main()
      17  {
      18    char c[4]={0,1,0,0};
      19    b(c);
      20    return c[0]+c[3];
      21  }
      22  /* Check that both param offsets are determined correctly.  */
      23  /* { dg-final { scan-ipa-dump "param offset:1" "modref"  } } */
      24  /* { dg-final { scan-ipa-dump "param offset:3" "modref"  } } */