No specific user configuration
[platform/upstream/bash.git] / lib / readline / xfree.c
1 /* xfree.c -- safe version of free that ignores attempts to free NUL */
2
3 /* Copyright (C) 1991-2010 Free Software Foundation, Inc.
4
5    This file is part of the GNU Readline Library (Readline), a library
6    for reading lines of text with interactive input and history editing.      
7
8    Readline is free software: you can redistribute it and/or modify
9    it under the terms of the GNU General Public License as published by
10    the Free Software Foundation, either version 3 of the License, or
11    (at your option) any later version.
12
13    Readline is distributed in the hope that it will be useful,
14    but WITHOUT ANY WARRANTY; without even the implied warranty of
15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16    GNU General Public License for more details.
17
18    You should have received a copy of the GNU General Public License
19    along with Readline.  If not, see <http://www.gnu.org/licenses/>.
20 */
21
22 #define READLINE_LIBRARY
23
24 #if defined (HAVE_CONFIG_H)
25 #include <config.h>
26 #endif
27
28 #if defined (HAVE_STDLIB_H)
29 #  include <stdlib.h>
30 #else
31 #  include "ansi_stdlib.h"
32 #endif /* HAVE_STDLIB_H */
33
34 #include "xmalloc.h"
35
36 /* **************************************************************** */
37 /*                                                                  */
38 /*                 Memory Deallocation.                             */
39 /*                                                                  */
40 /* **************************************************************** */
41
42 /* Use this as the function to call when adding unwind protects so we
43    don't need to know what free() returns. */
44 void
45 xfree (string)
46      PTR_T string;
47 {
48   if (string)
49     free (string);
50 }