1/* This testcase is part of GDB, the GNU debugger.
2
3   Copyright 2013-2020 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#include <stdlib.h>
19
20volatile int v = 1;
21
22static __attribute__ ((noinline, noclone, noreturn)) void
23noret (int x, ...)
24{
25  abort ();
26}
27
28static __attribute__ ((noinline, noclone)) void
29mayret (int x)
30{
31  if (v)
32    noret (x);
33}
34
35static __attribute__ ((noinline, noclone)) void
36tailcall (int x)
37{
38  mayret (x);
39}
40
41int
42main (void)
43{
44  tailcall (1);
45  return 0;
46}
47