1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
/* ========================================================================== */
/* === UMF_free ============================================================= */
/* ========================================================================== */
/* -------------------------------------------------------------------------- */
/* UMFPACK Version 4.1 (Apr. 30, 2003), Copyright (c) 2003 by Timothy A. */
/* Davis. All Rights Reserved. See ../README for License. */
/* email: davis@cise.ufl.edu CISE Department, Univ. of Florida. */
/* web: http://www.cise.ufl.edu/research/sparse/umfpack */
/* -------------------------------------------------------------------------- */
/*
Free a block previously allocated by UMF_malloc and return NULL.
Usage is p = UMF_free (p), to ensure that we don't free it twice.
Also maintains the UMFPACK malloc count.
*/
#include "umf_internal.h"
#if defined (UMF_MALLOC_COUNT) || !defined (NDEBUG)
#include "umf_malloc.h"
#endif
GLOBAL void *UMF_free
(
void *p
)
{
DEBUG0 (("UMF_free: "ID"\n", (Int) p)) ;
if (p)
{
/* see umf_config.h for the memory allocator selection */
FREE (p) ;
#if defined (UMF_MALLOC_COUNT) || !defined (NDEBUG)
/* One more object has been free'd. Keep track of the count. */
/* (purely for sanity checks). */
UMF_malloc_count-- ;
DEBUG0 ((" new malloc count: "ID"\n", UMF_malloc_count)) ;
#endif
}
return ((void *) NULL) ;
}
|
