Home | History | Annotate | Download | only in helgrind

Lines Matching full:guarda

4561       /* guardA == "guard on the address" */
4562       IRTemp guardA = newIRTemp(sbOut->tyenv, Ity_I1);
4565          assign(guardA,
4570       di->guard = mkexpr(guardA);