Searched refs:usymtab_popTrueExecBranch (Results 1 – 3 of 3) sorted by relevance
| /dports/devel/splint/splint-3.1.2/src/Headers/ |
| H A D | usymtab.h | 266 usymtab_popTrueExecBranch (exprNode p_pred, exprNode p_expr, clause p_cl)
|
| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | context.c | 2341 usymtab_popTrueExecBranch (exprNode_undefined, body, ITERCLAUSE); in context_exitIterClause()
2398 usymtab_popTrueExecBranch (pred, body, WHILECLAUSE); in context_exitWhileClause()
2451 usymtab_popTrueExecBranch (forPred, body, FORCLAUSE); in context_exitForClause()
2459 usymtab_popTrueExecBranch (forPred, body, FORCLAUSE); in context_exitForClause()
|
| H A D | usymtab.c | 2563 usymtab_popTrueExecBranch (exprNode pred, exprNode expr, clause cl) in usymtab_popTrueExecBranch() function
|