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
main()10 main ()
11 {
12   if (a != 7)
13     __builtin_abort ();
14   return 0;
15 }
16