Strictly follow C standard w.r.t. reading union fields

csmith-project · May 30, 2019 · 242f888 · 242f888
1 parent c7e6a90
commit 242f888
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/FactUnion.cpp b/src/FactUnion.cpp
@@ -279,12 +279,6 @@ FactUnion::imply(const Fact& f) const
 			if (t->SizeInBytes() == SIZE_UNKNOWN || other_t->SizeInBytes() == SIZE_UNKNOWN) {
 				return false;
 			}
-			if (t->SizeInBytes() <= other_t->SizeInBytes()) {
-				// only safe is the other field is not bitfield
-				if (!var->type->is_bitfield(fu.get_last_written_fid())) {
-					return true;
-				}
-			}
 		}
 	}
 	return false;