src/general.c

   1 /*
   2 ** Splint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2003 University of Virginia,
   4 **         Massachusetts Institute of Technology
   5 **
   6 ** This program is free software; you can redistribute it and/or modify it
   7 ** under the terms of the GNU General Public License as published by the
   8 ** Free Software Foundation; either version 2 of the License, or (at your
   9 ** option) any later version.
  10 **
  11 ** This program is distributed in the hope that it will be useful, but
  12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
  13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 ** General Public License for more details.
  15 **
  16 ** The GNU General Public License is available from http://www.gnu.org/ or
  17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  18 ** MA 02111-1307, USA.
  19 **
  20 ** For information on splint: info@splint.org
  21 ** To report a bug: splint-bug@splint.org
  22 ** For more information: http://www.splint.org
  23 */
  24 /*
  25 ** general.c
  26 */
  27
  28 # include "splintMacros.nf"
  29 # include "basic.h"
  30
  31 # undef malloc
  32 # undef realloc
  33 # undef calloc
  34
  35 /*
  36 ** redefine undef'd memory ops
  37 */
  38
  39
  40 /*@-mustdefine@*/
  41
  42 /*
  43 ** all memory should be allocated from dimalloc
  44 */
  45
  46 /*@out@*/ void *dimalloc (size_t size, const char *name, int line)
  47      /*@ensures maxSet(result) == (size - 1); @*/
  48 {
  49   /* was malloc, use calloc to initialize to zero */
  50   void *ret = (void *) calloc (1, size);
  51
  52   if (ret == NULL)
  53     {
  54       if (size == 0)
  55         {
  56           llcontbug (message ("Zero allocation at %q.",
  57                               fileloc_unparseRaw (cstring_fromChars (name), line)));
  58
  59           /*
  60           ** evans 2002-03-01
  61           ** Return some allocated storage...hope we get lucky.
  62           */
  63
  64           return dimalloc (16, name, line);
  65         }
  66       else
  67         {
  68           /* drl fix this so message doesn't run out of memory*/
  69
  70           llbuglit("Out of memory");
  71
  72           llfatalerrorLoc
  73             (message ("Out of memory.  Allocating %w bytes at %s:%d.",
  74                       size_toLongUnsigned (size),
  75                       cstring_fromChars (name), line));
  76
  77         }
  78     }
  79
  80   /*@-null@*/ /* null okay for size = 0 */
  81   return ret;
  82   /*@=null@*/
  83 }
  84
  85 void *dicalloc (size_t num, size_t size, const char *name, int line)
  86 {
  87   void *ret = (void *) calloc (num, size);
  88
  89   if (ret == NULL)
  90     {
  91       llfatalerrorLoc
  92         (message ("Out of memory.  Allocating %w bytes at %s:%d.",
  93                   size_toLongUnsigned (size),
  94                   cstring_fromChars (name), line));
  95     }
  96
  97   return ret;
  98 }
  99
 100 void *direalloc (/*@out@*/ /*@null@*/ void *x, size_t size,
 101                  const char *name, int line)
 102 {
 103   void *ret;
 104
 105   if (x == NULL)
 106     {
 107       ret = (void *) dmalloc (size);
 108     }
 109   else
 110     {
 111       ret = (void *) realloc (x, size);
 112     }
 113
 114   if (ret == NULL)
 115     {
 116       llfatalerrorLoc
 117         (message ("Out of memory.  Allocating %w bytes at %s:%d.",
 118                   size_toLongUnsigned (size),
 119                   cstring_fromChars (name), line));
 120     }
 121
 122   return ret;
 123 }
 124
 125 void sfreeEventually (void *x)
 126 {
 127   if (x != NULL)
 128     {
 129       ; /* should keep in a table */
 130     }
 131 /*@-mustfree@*/
 132 } /*@=mustfree@*/
 133
 134 /*@=mustdefine@*/
 135