fix a bug in reading union field

csmith-project · Jul 12, 2011 · 6523901 · 6523901
1 parent 6cee277
commit 6523901
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/FactUnion.cpp b/src/FactUnion.cpp
@@ -196,7 +196,7 @@ FactUnion::is_nonreadable_field(const Variable *v, const std::vector<const Fact*
 		assert(v->is_union_field());
 		FactUnion tmp(v->field_var_of, v->get_field_id());
 		const FactUnion* fu = dynamic_cast<const FactUnion*>(find_related_fact(facts, &tmp));
-		if (fu && !tmp.imply(*fu)) {
+		if (fu==NULL || !tmp.imply(*fu)) {
 			return true;
 		}
 	}