Lines Matching full:vg_assert
170 vg_assert(temp != IRTemp_INVALID);
180 vg_assert(IRTemp_INVALID != temp);
217 vg_assert(ec);
219 vg_assert(VG_(is_plausible_ECU)(ecu));
304 vg_assert(sizeof_SP == 4 || sizeof_SP == 8);
320 vg_assert(curr_IP_known); \
323 vg_assert(!(vanilla && w_ecu)); /* can't have both */ \
356 vg_assert(syze > 0); \
386 vg_assert(syze > 0); \
412 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP );
427 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP );
442 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP );
459 vg_assert(first_SP <= last_SP);
460 vg_assert(first_Put <= last_Put);
475 vg_assert( typeOfIRTemp(bb->tyenv, tttmp) == typeof_SP );
478 vg_assert(first_SP == first_Put);
479 vg_assert(last_SP == last_Put);
538 vg_assert(curr_IP_known);
582 vg_assert(curr_IP_known);
613 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.Put.data->Iex.RdTmp.tmp)
795 vg_assert(vge->n_used >= 1 && vge->n_used <= 3);
863 vg_assert(0);
871 vg_assert(i < sizeof(segs)/sizeof(segs[0]));
892 vg_assert(segA); /* Can this ever fail? */
924 vg_assert(0);
978 vg_assert(0);
1006 vg_assert(typeOfIRExpr(tyenv, e) == Ity_I64);
1034 vg_assert(VG_WORDSIZE == 8);
1048 vg_assert(VG_WORDSIZE == 4);
1051 vg_assert(sizeof(void*) == VG_WORDSIZE);
1052 vg_assert(sizeof(Word) == VG_WORDSIZE);
1053 vg_assert(sizeof(Addr) == VG_WORDSIZE);
1059 vg_assert(typeOfIRExpr(bb->tyenv, e) == ty_Word);
1146 vg_assert(sizeof(void*) == VG_WORDSIZE);
1147 vg_assert(sizeof(Word) == VG_WORDSIZE);
1148 vg_assert(sizeof(Addr) == VG_WORDSIZE);
1326 vg_assert(nraddr_szB == 4 || nraddr_szB == 8);
1327 vg_assert(nraddr_szB == VG_WORDSIZE);
1384 vg_assert(nraddr_szB == 4 || nraddr_szB == 8);
1385 vg_assert(nraddr_szB == VG_WORDSIZE);
1569 vg_assert(objname);
1643 vg_assert(kind == T_Normal);
1644 vg_assert(nraddr == addr);
1767 vg_assert(tres.status == VexTransOK);
1768 vg_assert(tres.n_sc_extents >= 0 && tres.n_sc_extents <= 3);
1769 vg_assert(tmpbuf_used <= N_TMPBUF);
1770 vg_assert(tmpbuf_used > 0);
1780 vg_assert(tmpbuf_used > 0 && tmpbuf_used < 65536);
1800 vg_assert(tres.offs_profInc == -1); /* -1 == unset */
