1  /* Test whether difference of local labels doesn't force
       2     variables into writable sections.  */
       3  /* { dg-do compile { target fpic } } */
       4  /* { dg-options "-O2 -fpic" } */
       5  /* { dg-additional-options "-G0" { target nios2-*-* } }  */
       6  /* { dg-final { scan-assembler-not ".data.rel.ro.local" } } */
       7  /* { dg-final { scan-assembler-symbol-section {^_?ar} {^\.(const|rodata)|\[RO\]} } } */
       8  /* { dg-require-effective-target label_values } */
       9  /* { dg-require-effective-target indirect_jumps } */
      10  
      11  int foo (int a)
      12  {
      13    static const int ar[] = { &&l1 - &&l1, &&l2 - &&l1 };
      14    void *p = &&l1 + ar[a];
      15    goto *p;
      16    l1:
      17      return 1;
      18    l2:
      19      return 2;
      20  }