annotate tests/test-stdnoreturn.c @ 40196:e63f5d3edab5

relocatable-prog: Update documentation. * doc/relocatable-maint.texi (Supporting Relocation): Update to match the recent changes.
author Bruno Haible <bruno@clisp.org>
date Sun, 24 Feb 2019 01:49:15 +0100
parents b06060465f09
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16388
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
1 /* Test of <stdnoreturn.h>.
40057
b06060465f09 maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
2 Copyright 2012-2019 Free Software Foundation, Inc.
16388
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
3
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
7 (at your option) any later version.
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
8
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
12 GNU General Public License for more details.
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
13
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
19190
9759915b2aca all: prefer https: URLs
Paul Eggert <eggert@cs.ucla.edu>
parents: 18626
diff changeset
15 along with this program. If not, see <https://www.gnu.org/licenses/>. */
16388
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
16
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
17 /* Written by Paul Eggert. */
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
18
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
19 #include <config.h>
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
20
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
21 #include <stdnoreturn.h>
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
22
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
23 #include <stdlib.h>
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
24
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
25 noreturn void
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
26 does_not_return (void)
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
27 {
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
28 exit (0);
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
29 }
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
30
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
31 int
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
32 main (void)
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
33 {
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
34 does_not_return ();
d0e332889b10 stdnoreturn: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
35 }