1 /* This test is part of GDB, the GNU debugger.
2
3 Copyright 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc.
4
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 3 of the License, or
8 (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
17 */
18
leaf(void)19 int leaf (void)
20 {
21 return 1;
22 }
23
marker(int val)24 int marker (int val)
25 {
26 leaf ();
27 return leaf () * val;
28 }
29
30 int other (int val) __attribute__((alias("marker")));
31
main(void)32 int main(void)
33 {
34 marker (0);
35 marker (0);
36
37 return 0;
38 }
39