Home
last modified time | relevance | path

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

/dports/devel/splint/splint-3.1.2/src/Headers/
H A Dclause.h25 extern bool clause_isLoop (clause p_cl) /*@*/ ;
/dports/devel/splint/splint-3.1.2/src/
H A Dclause.c124 bool clause_isLoop (clause cl) in clause_isLoop() function
H A Dcontext.c1599 if (clause_isLoop (el)) in context_inDeepLoop()
1661 else if (clause_isLoop (el)) in context_breakClause()