Home | History | Annotate | Download | only in helgrind

Lines Matching defs:guard

4205       /* Generate the guard condition: "(addr - (SP - RZ)) >u N", for
4244       IRTemp guard = newIRTemp(sbOut->tyenv, Ity_I1);
4247          assign(guard,
4252       di->guard = mkexpr(guard);