1  /* PR target/83100 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2 -fcommon -fdata-sections" } */
       4  /* { dg-additional-sources pr83100-3.c } */
       5  /* { dg-skip-if "-fdata-sections not supported" { hppa*-*-hpux* nvptx-*-* } } */
       6  
       7  const int a;
       8  
       9  int
      10  main ()
      11  {
      12    if (a != 7)
      13      __builtin_abort ();
      14    return 0;
      15  }