safe_mem.c File Reference

#include <stdio.h>
#include "CUDD/util.h"

Go to the source code of this file.

Functions
char *	MMalloc (long)
void	MMout_of_memory (long)
char *	MMrealloc (char *, long)
void	MMfree (char *obj)

Variables
void(*	MMoutOfMemory )(long) = MMout_of_memory

Function Documentation

MMalloc()

char* MMalloc

(

long

size

)

Definition at line 51 of file safe_mem.c.

{
    char *p;

#ifdef IBMPC
    if (size > 65000L) {
    if (MMoutOfMemory != (void (*)(long)) 0 ) (*MMoutOfMemory)(size);
    return NIL(char);
    }
#endif
    if (size == 0) size = sizeof(long);
    if ((p = (char *) malloc((unsigned long) size)) == NIL(char)) {
    if (MMoutOfMemory != 0 ) (*MMoutOfMemory)(size);
    return NIL(char);
    }
    return p;
}

MMfree()

void MMfree

(

char *

obj

)

Definition at line 92 of file safe_mem.c.

{
    if (obj != 0) {
    free(obj);
    }
}

MMout_of_memory()

void MMout_of_memory

(

long

size

)

Definition at line 41 of file safe_mem.c.

{
    (void) fflush(stdout);
    (void) fprintf(stderr, "\nout of memory allocating %lu bytes\n",
           (unsigned long) size);
    exit(1);
}

MMrealloc()

char* MMrealloc	(	char *	obj,
		long	size
	)

Definition at line 71 of file safe_mem.c.

{
    char *p;

#ifdef IBMPC
    if (size > 65000L) {
    if (MMoutOfMemory != 0 ) (*MMoutOfMemory)(size);
    return NIL(char);
    }
#endif
    if (obj == NIL(char)) return MMalloc(size);
    if (size <= 0) size = sizeof(long);
    if ((p = (char *) realloc(obj, (unsigned long) size)) == NIL(char)) {
    if (MMoutOfMemory != 0 ) (*MMoutOfMemory)(size);
    return NIL(char);
    }
    return p;
}

Variable Documentation

MMoutOfMemory

void(* MMoutOfMemory) (long) = MMout_of_memory

Definition at line 32 of file safe_mem.c.