Searched refs:alreadyExecutedAtLeastOneLoopIteration (Results 1 – 1 of 1) sorted by relevance
988 static bool alreadyExecutedAtLeastOneLoopIteration(const ExplodedNode *N, in alreadyExecutedAtLeastOneLoopIteration() function1003 if (alreadyExecutedAtLeastOneLoopIteration(*I, FCS)) in alreadyExecutedAtLeastOneLoopIteration()1017 if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS)) in checkPostStmt()