1/* { dg-do run } */
2
3#include <stdlib.h>
4
5class foo_t {
6    int x;
7public:
8    foo_t(void) { x=1; }
9    int get(void) { return x; }
10};
11
12static foo_t foo __attribute__((init_priority(5000)));
13
14int main(void) {
15
16    if (foo.get())
17        exit(0);
18    else
19        abort();
20}
21