Home
last modified time | relevance | path

Searched refs:ctbase_argsFunction (Results 1 – 2 of 2) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/
H A Dctbase.i141 static /*@observer@*/ uentryList ctbase_argsFunction (/*@notnull@*/ ctbase p_c) /*@*/ ;
2070 ctbase_argsFunction (/*@notnull@*/ ctbase c) in ctbase_argsFunction() function
2264 ctargs = ctbase_argsFunction (fbase); in ctbase_newBaseExpFcn()
2309 p = ctype_makeFunction (p, uentryList_copy (ctbase_argsFunction (fbase))); in ctbase_newBaseExpFcn()
2358 uentryList_copy (ctbase_argsFunction (fbase))); in ctbase_newBaseExpFcn()
H A Dctype.c570 return (ctbase_argsFunction (ctype_getCtbaseSafe (c))); in ctype_argsFunction()