| 
 |   
| 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); |