blob: f401ded4d702be49669ecdc7893f65cc70e9fa7c [file] [log] [blame]
#include "config.h"
#include <stdio.h>
#include <stdlib.h>
#ifdef HAVE_INITFINI_ARRAY
static int count;
static void
init1005 ()
{
if (count != 0)
abort ();
count = 1005;
}
void (*const init_array1005[]) ()
__attribute__ ((section (".init_array.01005"), aligned (sizeof (void *))))
= { init1005 };
static void
fini1005 ()
{
if (count != 1005)
abort ();
}
void (*const fini_array1005[]) ()
__attribute__ ((section (".fini_array.01005"), aligned (sizeof (void *))))
= { fini1005 };
static void
ctor1007a ()
{
if (count != 1005)
abort ();
count = 1006;
}
static void
ctor1007b ()
{
if (count != 1006)
abort ();
count = 1007;
}
void (*const ctors1007[]) ()
__attribute__ ((section (".ctors.64528"), aligned (sizeof (void *))))
= { ctor1007b, ctor1007a };
static void
dtor1007a ()
{
if (count != 1006)
abort ();
count = 1005;
}
static void
dtor1007b ()
{
if (count != 1007)
abort ();
count = 1006;
}
void (*const dtors1007[]) ()
__attribute__ ((section (".dtors.64528"), aligned (sizeof (void *))))
= { dtor1007b, dtor1007a };
static void
init65530 ()
{
if (count != 1007)
abort ();
count = 65530;
}
void (*const init_array65530[]) ()
__attribute__ ((section (".init_array.65530"), aligned (sizeof (void *))))
= { init65530 };
static void
fini65530 ()
{
if (count != 65530)
abort ();
count = 1007;
}
void (*const fini_array65530[]) ()
__attribute__ ((section (".fini_array.65530"), aligned (sizeof (void *))))
= { fini65530 };
static void
ctor65535a ()
{
if (count != 65530)
abort ();
count = 65535;
}
static void
ctor65535b ()
{
if (count != 65535)
abort ();
count = 65536;
}
void (*const ctors65535[]) ()
__attribute__ ((section (".ctors"), aligned (sizeof (void *))))
= { ctor65535b, ctor65535a };
static void
dtor65535b ()
{
if (count != 65536)
abort ();
count = 65535;
}
static void
dtor65535a ()
{
if (count != 65535)
abort ();
count = 65530;
}
void (*const dtors65535[]) ()
__attribute__ ((section (".dtors"), aligned (sizeof (void *))))
= { dtor65535b, dtor65535a };
#endif
int
main ()
{
printf ("OK\n");
return 0;
}