blob: 864803c1c0c3b1ca5df734909980dc57a70f85be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
/* Copyright 2018 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
/* The idea here is to, via use of the dwarf assembler, create a function
which occupies two non-contiguous address ranges.
foo_low and foo will be combined into a single function foo with a
function bar in between these two ranges.
This test case was motivated by a bug in which a function which
occupied two non-contiguous address ranges was calling another
function which resides in between these ranges. So we end up with
a situation in which the low/start address of our constructed foo
(in this case) will be less than any of the addresses in bar, but
the high/end address of foo will be greater than any of bar's
addresses.
This situation was causing a problem in the caching code of
find_pc_partial_function: When the low and high addresses of foo
are placed in the cache, the simple check that was used to see if
the cache was applicable would (incorrectly) succeed when presented
with an address in bar. I.e. an address in bar presented as an
input to find_pc_partial_function could produce the answer "this
address belongs to foo". */
volatile int e = 0;
void
baz (void)
{
asm ("baz_label: .globl baz_label");
} /* baz end */
void
foo_low (void)
{ /* foo_low prologue */
asm ("foo_low_label: .globl foo_low_label");
baz (); /* foo_low baz call */
asm ("foo_low_label2: .globl foo_low_label2");
} /* foo_low end */
void
bar (void)
{
asm ("bar_label: .globl bar_label");
} /* bar end */
void
foo (void)
{ /* foo prologue */
asm ("foo_label: .globl foo_label");
bar (); /* foo bar call */
asm ("foo_label2: .globl foo_label2");
if (e) foo_low (); /* foo foo_low call */
asm ("foo_label3: .globl foo_label3");
} /* foo end */
int
main (void)
{ /* main prologue */
asm ("main_label: .globl main_label");
foo (); /* main foo call */
asm ("main_label2: .globl main_label2");
return 0; /* main return */
} /* main end */
|
GitWeb