123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129 |
- /**
- @file
- @ingroup util
- @brief Interface routines to be placed between a program and the
- system memory allocator.
- The function pointer MMoutOfMemory() contains a vector to handle a
- 'out-of-memory' error (which, by default, points at a simple wrap-up
- and exit routine).
- @copyright@parblock
- Copyright (c) 1994-1998 The Regents of the Univ. of California.
- All rights reserved.
- Permission is hereby granted, without written agreement and without license
- or royalty fees, to use, copy, modify, and distribute this software and its
- documentation for any purpose, provided that the above copyright notice and
- the following two paragraphs appear in all copies of this software.
- IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
- DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
- OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
- CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
- INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
- FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN
- "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE
- MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
- @endparblock
- @copyright@parblock
- Copyright (c) 1999-2015, Regents of the University of Colorado
- All rights reserved.
- Redistribution and use in source and binary forms, with or without
- modification, are permitted provided that the following conditions
- are met:
- Redistributions of source code must retain the above copyright
- notice, this list of conditions and the following disclaimer.
- Redistributions in binary form must reproduce the above copyright
- notice, this list of conditions and the following disclaimer in the
- documentation and/or other materials provided with the distribution.
- Neither the name of the University of Colorado nor the names of its
- contributors may be used to endorse or promote products derived from
- this software without specific prior written permission.
- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
- FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
- COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
- INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
- BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
- LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
- CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
- LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
- ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
- POSSIBILITY OF SUCH DAMAGE.
- @endparblock
- */
- #include "util.h"
- #ifdef __cplusplus
- extern "C" {
- #endif
- /**
- * @brief Global out-of-memory handler.
- */
- void (*MMoutOfMemory)(size_t) = MMout_of_memory;
- #ifdef __cplusplus
- }
- #endif
- /**
- * @brief Out of memory for lazy people: flush and exit.
- */
- void
- MMout_of_memory(size_t size)
- {
- (void) fflush(stdout);
- (void) fprintf(stderr,
- "\nCUDD: out of memory allocating %" PRIszt " bytes\n",
- (size_t) size);
- exit(1);
- }
- /**
- * @brief malloc replacement.
- */
- void *
- MMalloc(size_t size)
- {
- void *p;
- if ((p = malloc(size)) == NIL(void)) {
- if (MMoutOfMemory != 0 ) (*MMoutOfMemory)(size);
- return NIL(void);
- }
- return p;
- }
- /**
- * @brief realloc replacement.
- */
- void *
- MMrealloc(void *obj, size_t size)
- {
- void *p;
- if ((p = realloc(obj, size)) == NIL(void)) {
- if (MMoutOfMemory != 0 ) (*MMoutOfMemory)(size);
- return NIL(void);
- }
- return p;
- }
|