Searched refs:checkDeadState (Results 1 – 1 of 1) sorted by relevance
| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | sRef.c | 192 static bool checkDeadState (/*@notnull@*/ sRef p_el, /*@null@*/ sRef p_e2,
4143 if (checkDeadState (el, e2, TRUE, loc)) in sRef_mergeDerivs()
4158 if (checkDeadState (e2, el, FALSE, loc)) in sRef_mergeDerivs()
4219 (void) checkDeadState (el, e2, TRUE, loc); in sRef_mergeDerivs()
4229 (void) checkDeadState (el, sRef_undefined, FALSE, loc); in sRef_mergeDerivs()
4241 static bool checkDeadState (/*@notnull@*/ sRef el, sRef e2, bool tbranch, fileloc loc) in checkDeadState() function
4319 if (checkDeadState (el, sRef_undefined, tbranch, loc)) in checkDerivDeadState()
|