/*printf(" %d, %d", get_entity_n_overwrites(mem), get_class_n_supertypes(tp)); DDME(mem);*/
if (!mem) return error_null_mem;
- assert(get_entity_n_overwrites(mem) <= get_class_n_supertypes(tp));
+ if (get_entity_n_overwrites(mem) > get_class_n_supertypes(tp)) {
+ DDMT(tp); DDME(mem);
+ assert(get_entity_n_overwrites(mem) <= get_class_n_supertypes(tp));
+ }
for (j = 0; j < get_entity_n_overwrites(mem); j++) {
entity *ovw = get_entity_overwrites(mem, j);
/*printf(" overwrites: "); DDME(ovw);*/
struct myenv * myenv = env;
myenv->res = node_is_in_irgs_storage(myenv->irg, n);
+
+ /* We also test whether the setting of the visited flag is legal. */
+ assert(get_irn_visited(n) <= get_irg_visited(myenv->irg) &&
+ "Visited flag of node is larger than that of corresponding irg.");
}
/**
* != 0 else
*/
static int check_entity(entity *ent) {
+ current_ir_graph = get_const_code_irg();
if (constants_on_wrong_irg(ent)) {
assert(0 && "Contants placed on wrong IRG");
return error_const_on_wrong_irg;
*/
static void check_tore(type_or_ent *tore, void *env) {
int *res = env;
+ assert(tore);
if (is_type(tore)) {
*res = check_type((type *)tore);
} else {