Home
last modified time | relevance | path

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

/dports/devel/splint/splint-3.1.2/src/
H A DvarKinds.c549 if (exitkind_couldExit (k2)) in exitkind_combine()
570 if (exitkind_couldExit (k2)) in exitkind_combine()
580 bool exitkind_couldExit (exitkind e) in exitkind_couldExit() function
615 return exitkind_couldReturn (e) || exitkind_couldExit (e) in exitkind_couldEscape()
H A DexprNode.c3873 else if (exitkind_couldExit (exk)) in functionCallSafe()
/dports/devel/splint/splint-3.1.2/src/Headers/
H A DvarKinds.h228 extern bool exitkind_couldExit (exitkind p_e) /*@*/ ;