Home
last modified time | relevance | path

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

/dports/devel/splint/splint-3.1.2/src/Headers/
H A Dfileloc.h89 # define fileloc_isInvalid(f) (!(fileloc_isValid(f)))
105 (fileloc_isValid (f) && (f)->lineno != UNKNOWN_LINE)
108 (fileloc_isValid (f) && (f)->column != UNKNOWN_COLUMN)
114 extern /*@falsewhennull@*/ bool fileloc_isValid (/*@sef@*/ fileloc p_f);
115 # define fileloc_isValid(f) \ macro
/dports/devel/splint/splint-3.1.2/src/
H A Duentry.c5992 if (fileloc_isValid (loc) && !fileloc_isExternal (loc)) in uentry_whereLast()
5999 if (fileloc_isValid (loc) && !fileloc_isExternal (loc)) in uentry_whereLast()