1 /* Report an error and exit. 2 Copyright 2016-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, or (at your option) 7 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, write to the Free Software 16 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 17 02110-1301, USA. */ 18 19 #ifndef DIE_H 20 #define DIE_H 21 22 #include <error.h> 23 #include <stdbool.h> 24 #include <verify.h> 25 26 /* Like 'error (STATUS, ...)', except STATUS must be a nonzero constant. 27 This may pacify the compiler or help it generate better code. */ 28 #define die(status, ...) \ 29 verify_expr (status, (error (status, __VA_ARGS__), assume (false))) 30 31 #endif /* DIE_H */ 32