Predicate::Predicate(FuncInst * func_inst, bool is_entry) :
func_inst(func_inst),
entry_predicate(is_entry),
+ does_write(false),
pred_expressions(16),
children(),
parent(NULL),
backedges(16)
{}
+Predicate::~Predicate()
+{
+ // parent and func_inst should not be deleted
+ pred_expressions.reset();
+ backedges.reset();
+ children.clear();
+}
+
unsigned int pred_expr_hash(struct pred_expr * expr)
{
return (unsigned int)((uintptr_t)expr);
break;
}
}
+
+ if (does_write) {
+ model_print("Does write\n");
+ }
model_print("\"];\n");
}