|
|
| version 1.1.1.1, 2012/02/21 22:57:48 | version 1.1.1.2, 2021/03/17 13:38:46 |
|---|---|
| Line 12 | Line 12 |
| GNU General Public License for more details. | GNU General Public License for more details. |
| You should have received a copy of the GNU General Public License | You should have received a copy of the GNU General Public License |
| along with this program. If not, see <http://www.gnu.org/licenses/>. */ | along with this program. If not, see <https://www.gnu.org/licenses/>. */ |
| #include <config.h> | #include <config.h> |
| Line 35 void | Line 35 void |
| xalloc_die () | xalloc_die () |
| { | { |
| error (xmalloc_exit_failure, 0, _("memory exhausted")); | error (xmalloc_exit_failure, 0, _("memory exhausted")); |
| /* The `noreturn' cannot be given to error, since it may return if | /* _Noreturn cannot be given to error, since it may return if |
| its first argument is 0. To help compilers understand the | its first argument is 0. To help compilers understand the |
| xalloc_die does terminate, call exit. */ | xalloc_die does terminate, call exit. */ |
| exit (EXIT_FAILURE); | exit (EXIT_FAILURE); |