Home
last modified time | relevance | path

Searched refs:direalloc (Results 1 – 4 of 4) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/Headers/
H A Dgeneral.h32 direalloc (/*@returned@*/ /*@only@*/ /*@out@*/ /*@null@*/ void *p_x,
53 # define drealloc(s,l) (direalloc(s, l, __FILE__, __LINE__))
83 # define realloc(v, s) (direalloc(v, s, __FILE__, __LINE__))
/dports/devel/splint/splint-3.1.2/test/metastate/
H A Dvoidptr.c1 void *direalloc (/*@out@*/ /*@null@*/ void *x, size_t size, in direalloc() function
H A Dnullret.c1 void *direalloc (/*@out@*/ /*@null@*/ void *x, size_t size, in direalloc() function
/dports/devel/splint/splint-3.1.2/src/
H A Dgeneral.c164 void *direalloc (/*@out@*/ /*@null@*/ void *x, size_t size, in direalloc() function