Lines Matching full:vg_assert
98 vg_assert(sym->pri_name);
100 vg_assert(sec_names);
141 vg_assert(0+0); \
184 vg_assert(0);
249 vg_assert(len >= 0);
313 vg_assert(ML_(cur_is_valid)(c));
330 vg_assert(sym->pri_name != NULL);
331 vg_assert(sym->sec_names == NULL);
351 vg_assert(di->symtab_used <= di->symtab_size);
362 default: vg_assert(0);
410 default: vg_assert(0);
419 vg_assert(loc->size > 0);
450 vg_assert(di->loctab_used <= di->loctab_size);
461 vg_assert(new_sz < di->loctab_size);
522 vg_assert(size >= 1);
523 vg_assert(size <= MAX_LOC_SIZE);
528 vg_assert(di->fsm.have_rx_map && di->fsm.have_rw_map);
587 vg_assert(inl->addr_lo < inl->addr_hi);
607 vg_assert(di->inltab_used <= di->inltab_size);
618 vg_assert(new_sz < di->inltab_size);
642 vg_assert(lineno >= 0);
682 vg_assert(pos >= 0 && pos < di->cfsi_used);
687 default: vg_assert(0);
713 vg_assert(len > 0);
727 vg_assert(di->fsm.have_rx_map && di->fsm.have_rw_map);
772 vg_assert(base + len - 1 >= map->avma);
774 vg_assert(delta > 0);
775 vg_assert(delta < (SSizeT)len);
784 vg_assert(base <= map->avma + map->size - 1);
787 vg_assert(delta > 0);
788 vg_assert(delta < (SSizeT)len);
798 vg_assert(len > 0);
801 vg_assert(base >= map->avma);
802 vg_assert(base + len - 1
832 vg_assert(di->cfsi_used <= di->cfsi_size);
901 default: vg_assert(0);
920 default: vg_assert(0);
946 default: vg_assert(0);
1042 vg_assert(aMin <= aMax);
1054 vg_assert(first);
1055 vg_assert(first->aMin <= first->aMax);
1056 vg_assert(first->aMin <= aMin && aMin <= first->aMax);
1062 vg_assert(first->vars);
1075 vg_assert(first->aMin <= first->aMax);
1080 vg_assert(nyu->aMin <= nyu->aMax);
1082 vg_assert(first->vars);
1088 vg_assert(first->aMin == aMin);
1094 vg_assert(last->aMin <= last->aMax);
1095 vg_assert(last->aMin <= aMax && aMax <= last->aMax);
1103 vg_assert(last->aMin <= last->aMax);
1108 vg_assert(nyu->aMin <= nyu->aMax);
1110 vg_assert(last->vars);
1116 vg_assert(aMax == last->aMax);
1120 vg_assert(xxFirst);
1121 vg_assert(xxLast);
1122 vg_assert(xxFirst->aMin == aMin);
1123 vg_assert(xxLast->aMax == aMax);
1125 vg_assert(xxFirst->aMax < xxLast->aMin);
1152 vg_assert(range->aMin == aMin);
1154 vg_assert(xxRangep->aMax + 1 == range->aMin);
1157 vg_assert(range->vars);
1161 vg_assert(xxIters >= 1);
1162 if (xxIters == 1) vg_assert(xxFirst == xxLast);
1163 if (xxFirst == xxLast) vg_assert(xxIters == 1);
1164 vg_assert(xxRangep);
1165 vg_assert(xxRangep->aMax == aMax);
1166 vg_assert(xxRangep == xxLast);
1192 vg_assert(di && di->admin_tyents);
1211 vg_assert(level >= 0);
1212 vg_assert(aMin <= aMax);
1213 vg_assert(name);
1214 vg_assert(gexpr);
1217 vg_assert(ent);
1218 vg_assert(ML_(TyEnt__is_type)(ent));
1235 vg_assert(di->fsm.have_rx_map && di->fsm.have_rw_map);
1279 vg_assert(level < 256); /* arbitrary; stay sane */
1304 vg_assert( VG_(sizeXA)(di->varinfo) > level );
1306 vg_assert(scope);
1316 vg_assert(level == 0 ? all : !all);
1340 vg_assert(VG_(OSetGen_Size)( scope ) == 1);
1342 vg_assert(range);
1343 vg_assert(range->aMin == (Addr)0);
1344 vg_assert(range->aMax == ~(Addr)0);
1358 vg_assert(rangep);
1359 vg_assert(rangep->aMax == ~(Addr)0);
1363 vg_assert(range->aMin <= range->aMax);
1364 vg_assert(range->vars);
1368 vg_assert(range->aMin == 0);
1370 vg_assert(rangep->aMax + 1 == range->aMin);
1381 vg_assert(nInThisScope > 0);
1384 vg_assert(VG_(OSetGen_Size)( scope ) == 1);
1386 vg_assert(range);
1387 vg_assert(range->aMin == (Addr)0);
1388 vg_assert(range->aMax == ~(Addr)0);
1389 vg_assert(range->vars);
1390 vg_assert(VG_(sizeXA)(range->vars) == 0);
1461 vg_assert(a_name);
1462 vg_assert(b_name);
1463 // vg_assert(a_name != b_name);
1571 vg_assert(0);
1584 vg_assert(0);
1593 vg_assert(to->pri_name);
1594 vg_assert(from->pri_name);
1634 vg_assert(i == n_new_sec);
1635 vg_assert(new_sec[i] == NULL);
1660 vg_assert(sym->pri_name);
1661 vg_assert(!sym->sec_names);
1681 vg_assert(w < r);
1725 if (di->symtab[r-1].isText && di->symtab[r-0].isText) vg_assert(0);
1726 if (!di->symtab[r-1].isText && !di->symtab[r-0].isText) vg_assert(0);
1729 vg_assert(!di->symtab[to_zap].isText);
1730 vg_assert(di->symtab[to_keep].isText);
1756 vg_assert(w <= r);
1764 vg_assert(w + n_merged == di->symtab_used);
1774 vg_assert(di->symtab[i].avmas.main <= di->symtab[i+1].avmas.main);
1812 vg_assert(sta1 == sta2);
1844 vg_assert(sta1 <= sta2);
1845 vg_assert(di->symtab[i].size > 0);
1846 vg_assert(di->symtab[i+1].size > 0);
1864 vg_assert(di->symtab[i].size > 0);
1866 vg_assert(di->symtab[i].avmas.main < di->symtab[i+1].avmas.main);
1868 vg_assert(di->symtab[i].avmas.main + di->symtab[i].size - 1
1871 vg_assert(di->symtab[i].pri_name);
1873 vg_assert(di->symtab[i].sec_names[0]);
1901 vg_assert(j == n_tmp);
1902 vg_assert(tmp[n_tmp] == NULL); /* because of zalloc */
1912 vg_assert(best >= 0 && best < n_tmp);
1922 vg_assert(*cursor == NULL);
1999 vg_assert(di->loctab[i].size < 10000);
2041 vg_assert(di->loctab[i].size > 0);
2043 vg_assert(di->loctab[i].addr < di->loctab[i+1].addr);
2045 vg_assert(di->loctab[i].addr + di->loctab[i].size - 1
2083 vg_assert(di->inltab[i].addr_lo < di->inltab[i].addr_hi);
2085 vg_assert(di->inltab[i].addr_lo <= di->inltab[i+1].addr_lo);
2121 vg_assert (di->cfsi_used == 0 || di->cfsi_rd);
2142 vg_assert(di->cfsi_used == 0);
2143 vg_assert(di->cfsi_size == 0);
2144 vg_assert(di->cfsi_m_pool == NULL);
2146 vg_assert(di->cfsi_size != 0);
2147 vg_assert(di->cfsi_m_pool != NULL);
2177 vg_assert(new_len >= 0);
2178 vg_assert(new_len <= di->cfsi_rd[i].len);
2199 vg_assert(di->cfsi_rd[i].len > 0);
2201 vg_assert(di->cfsi_rd[i].base >= di->cfsi_minavma);
2202 vg_assert(di->cfsi_rd[i].base + di->cfsi_rd[i].len - 1
2214 vg_assert(di->cfsi_rd[i].base < di->cfsi_rd[i+1].base);
2216 vg_assert(di->cfsi_rd[i].base + di->cfsi_rd[i].len - 1
2242 vg_assert (di->cfsi_rd == NULL);
2243 vg_assert (di->cfsi_m_pool == NULL);
2244 vg_assert (n_mergeables == 0);
2245 vg_assert (n_holes == 0);
2249 vg_assert (di->cfsi_used > n_mergeables);
2253 vg_assert (sz_cfsi_m_pool > 0);
2290 default: vg_assert(0);
2302 default: vg_assert(0);
2307 vg_assert (f_mergeables == n_mergeables);
2308 vg_assert (f_holes == n_holes);
2309 vg_assert (pos == new_used);
2363 vg_assert(ptr >= a_mid_lo && ptr <= a_mid_hi);
2391 vg_assert(ptr >= a_mid_lo && ptr <= a_mid_hi);
2421 vg_assert (lo - 1 == mid - 1);
2444 vg_assert(a_mid_hi >= a_mid_lo);
2447 vg_assert(addr >= a_mid_lo && addr <= a_mid_hi);
