Home
last modified time | relevance | path

Searched refs:fileloc_fileId (Results 1 – 5 of 5) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/
H A DfilelocList.c235 lastFile = fileloc_fileId (s->elements[i]); in filelocList_unparseUses()
241 if (fileId_equal (fileloc_fileId (s->elements[i]), lastFile)) in filelocList_unparseUses()
273 lastFile = fileloc_fileId (s->elements[i]); in filelocList_unparseUses()
H A Dmacrocache.c284 if (!fileId_equal (currentFile (), fileloc_fileId (fl))) in macrocache_processMacro()
H A DexprNode.c3088 && !fileId_equal (fileloc_fileId (f->loc), in checkGlobMods()
3089 fileloc_fileId (uentry_whereDefined (le)))) in checkGlobMods()
/dports/devel/splint/splint-3.1.2/src/Headers/
H A Dfileloc.h136 extern fileId fileloc_fileId (/*@sef@*/ fileloc p_fl) /*@*/ ;
137 # define fileloc_fileId(fl) \ macro
H A Dglobals.h65 # define currentFile() (fileloc_fileId (g_currentloc))