1 // relro_test.cc -- test -z relro for gold
3 // Copyright 2008 Free Software Foundation, Inc.
4 // Written by Ian Lance Taylor <iant@google.com>.
6 // This file is part of gold.
8 // This program is free software; you can redistribute it and/or modify
9 // it under the terms of the GNU General Public License as published by
10 // the Free Software Foundation; either version 3 of the License, or
11 // (at your option) any later version.
13 // This program is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 // GNU General Public License for more details.
18 // You should have received a copy of the GNU General Public License
19 // along with this program; if not, write to the Free Software
20 // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21 // MA 02110-1301, USA.
31 // This tests we were linked with a script. If we were linked with a
32 // script, relro currently does not work.
34 extern char using_script
[] __attribute__ ((weak
));
36 // This code is put into a shared library linked with -z relro.
38 // i1 and i2 are not relro variables.
42 // P1 is a global relro variable.
43 int* const p1
__attribute__ ((aligned(64))) = &i1
;
45 // P2 is a local relro variable.
46 int* const p2
__attribute__ ((aligned(64))) = &i2
;
48 // Test symbol addresses.
56 void* i1addr
= static_cast<void*>(&i1
);
57 void* i2addr
= static_cast<void*>(&i2
);
58 const void* p1addr
= static_cast<const void*>(&p1
);
59 const void* p2addr
= static_cast<const void*>(&p2
);
61 // The relro variables should precede the non-relro variables in the
63 assert(i1addr
> p1addr
);
64 assert(i1addr
> p2addr
);
65 assert(i2addr
> p1addr
);
66 assert(i2addr
> p2addr
);
68 // The relro variables should not be on the same page as the
69 // non-relro variables.
70 const size_t page_size
= getpagesize();
71 uintptr_t i1page
= reinterpret_cast<uintptr_t>(i1addr
) & ~ (page_size
- 1);
72 uintptr_t i2page
= reinterpret_cast<uintptr_t>(i2addr
) & ~ (page_size
- 1);
73 uintptr_t p1page
= reinterpret_cast<uintptr_t>(p1addr
) & ~ (page_size
- 1);
74 uintptr_t p2page
= reinterpret_cast<uintptr_t>(p2addr
) & ~ (page_size
- 1);
75 assert(i1page
!= p1page
);
76 assert(i1page
!= p2page
);
77 assert(i2page
!= p1page
);
78 assert(i2page
!= p2page
);
83 // Tell terminate handler that we are throwing from a signal handler.
87 // A signal handler for SIGSEGV.
97 // The original terminate handler.
99 std::terminate_handler orig_terminate
;
101 // Throwing an exception out of a signal handler doesn't always work
102 // reliably. When that happens the program will call terminate. We
103 // set a terminate handler to indicate that the test probably passed.
111 ::exit(EXIT_FAILURE
);
114 "relro_test: terminate called due to failure to throw through signal handler\n");
115 fprintf(stderr
, "relro_test: assuming test succeeded\n");
116 ::exit(EXIT_SUCCESS
);
119 // Use a separate function to throw the exception, so that we don't
120 // need to use -fnon-call-exceptions.
122 void f2() __attribute__ ((noinline
));
126 int** pp1
= const_cast<int**>(&p1
);
129 // We shouldn't get here--the assignment to *pp1 should write to
130 // memory which the dynamic linker marked as read-only, giving us a
131 // SIGSEGV, causing sigsegv_handler to be invoked, to throw past us.
135 // Changing a relro variable should give us a SIGSEGV.
143 signal(SIGSEGV
, sigsegv_handler
);
144 orig_terminate
= std::set_terminate(terminate_handler
);