Searched refs:check_or_add (Results 1 – 1 of 1) sorted by relevance
6638 Bool check_or_add ( XArray* /*of Pair*/ pairs, IRExpr* guard, void* entry ) in check_or_add() function6697 alreadyPresent = check_or_add( pairs, guard, cee->addr ); in MC_()