Lines Matching full:vg_assert
353 vg_assert(sign == 0 || sign == 1);
402 vg_assert(regs);
497 vg_assert(sp >= -1 && sp < N_EXPR_STACK); \
506 vg_assert(sp >= -1 && sp < N_EXPR_STACK); \
524 vg_assert(expr);
525 vg_assert(exprszB >= 0);
559 vg_assert(sp >= -1 && sp < N_EXPR_STACK);
615 vg_assert(0);
936 vg_assert(sp >= 0 && sp < N_EXPR_STACK);
960 vg_assert(uc == 0 || uc == 1);
963 vg_assert(uc == 0);
972 vg_assert(uc == 0);
980 vg_assert(aMin == (Addr)0);
981 vg_assert(aMax == ~(Addr)0);
983 vg_assert(nGuards == 1);
989 vg_assert(*p == 1); /*isEnd*/
1038 vg_assert(uc == 0 || uc == 1);
1041 vg_assert(uc == 0);
1049 vg_assert(uc == 0);
1121 vg_assert(0);
1134 vg_assert(nGuards == VG_(sizeXA)( results ));
1135 vg_assert(nGuards >= 0);
1137 vg_assert(!badness);
1149 vg_assert(i >= 0 && i <= nGuards);
1152 vg_assert(badness);
1161 vg_assert(mul->b == True); /* we just established that all exprs are ok */
1165 vg_assert(mul2->b == True);
1207 vg_assert(uc == 0 || uc == 1);
1212 vg_assert(uc == 0);
