Lines Matching refs:pairs
5606 /* A struct for recording which (helper, guard) pairs we have already
5661 /* See if 'pairs' already has an entry for (entry, guard). Return
5665 Bool check_or_add ( XArray* /*of Pair*/ pairs, IRExpr* guard, void* entry )
5669 Int i, n = VG_(sizeXA)( pairs );
5671 pp = VG_(indexXA)( pairs, i );
5677 VG_(addToXA)( pairs, &p );
5702 XArray* pairs = VG_(newXA)( VG_(malloc), "mc.ft.1",
5725 alreadyPresent = check_or_add( pairs, guard, cee->addr );
5731 VG_(deleteXA)( pairs );
