1 /* Test of <stdnoreturn.h>. 2 Copyright 2012-2021 Free Software Foundation, Inc. 3 4 This program is free software: you can redistribute it and/or modify 5 it under the terms of the GNU General Public License as published by 6 the Free Software Foundation; either version 3 of the License, or 7 (at your option) any later version. 8 9 This program is distributed in the hope that it will be useful, 10 but WITHOUT ANY WARRANTY; without even the implied warranty of 11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 GNU General Public License for more details. 13 14 You should have received a copy of the GNU General Public License 15 along with this program. If not, see <https://www.gnu.org/licenses/>. */ 16 17 /* Written by Paul Eggert. */ 18 19 #include <config.h> 20 21 #include <stdnoreturn.h> 22 23 #include <stdlib.h> 24 25 noreturn void 26 does_not_return (void) /* */ 27 { 28 exit (0); 29 } 30 31 int 32 main (void) /* */ 33 { 34 does_not_return (); 35 }