Home
last modified time | relevance | path

Searched refs:ctbase_undefined (Results 1 – 3 of 3) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/
H A Dcttable.i424 ctbase ct = ctbase_undefined; in cttable_init()
474 (void) cttable_addFull (ctentry_make (CTK_INVALID, ctbase_undefined, in cttable_init()
H A Dctbase.i212 # define ctbase_undefined ((ctbase)0) macro
214 static /*@owned@*/ ctbase ctbase_bool = ctbase_undefined;
215 static /*@owned@*/ ctbase ctbase_unknown = ctbase_undefined;
219 return ((c) != ctbase_undefined); in ctbase_isDefined()
224 return ((c) == ctbase_undefined); in ctbase_isUndefined()
333 llassert (ret != ctbase_undefined); in ctbase_realType()
900 return (ctbase_undefined); in ctbase_undump()
1923 llassert (c != ctbase_undefined); in ctbase_isFunction()
H A Dctype.c2820 errorEntry = ctentry_makeNew (CTK_UNKNOWN, ctbase_undefined); in ctype_getCtentry()