Searched refs:guardA (Results 1 – 1 of 1) sorted by relevance
4562 IRTemp guardA = newIRTemp(sbOut->tyenv, Ity_I1); in instrument_mem_access() local4565 assign(guardA, in instrument_mem_access()4570 di->guard = mkexpr(guardA); in instrument_mem_access()