Avoid GCC warnings about empty loops.

This construct leads to warnings: for (...); Do this instead: for (...) { /*Empty. */ }
csmith-project · Aug 13, 2011 · 91faaa7 · 91faaa7
1 parent 60de822
commit 91faaa7
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/src/FactPointTo.cpp b/src/FactPointTo.cpp
@@ -283,7 +283,9 @@ FactPointTo::abstract_fact_for_assign(const std::vector<const Fact*>& facts, con
 	for (size_t i=0; i<lvars.size(); i++) {
 		const Variable* v = lvars[i]; 
 		if (v->is_inside_union_field()) {
-			for (; v && v->type->eType != eUnion; v = v->field_var_of);
+			for (; v && v->type->eType != eUnion; v = v->field_var_of) {
+				/* Empty. */
+			}
 			assert(v && v->type->eType == eUnion);
 		}
 		vector<const Variable*> pointers;

diff --git a/src/FactUnion.cpp b/src/FactUnion.cpp
@@ -178,7 +178,9 @@ bool
 FactUnion::is_nonreadable_field(const Variable *v, const std::vector<const Fact*>& facts)
 {
 	if (v->is_inside_union_field()) {
-		for (; v && !v->is_union_field(); v = v->field_var_of);
+		for (; v && !v->is_union_field(); v = v->field_var_of) {
+			/* Empty */
+		}
 		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));

diff --git a/src/Variable.cpp b/src/Variable.cpp
@@ -299,7 +299,9 @@ const Variable*
 Variable::get_top_container(void) const
 {
 	const Variable* v = this;
-	for (; v && v->field_var_of; v = v->field_var_of);
+	for (; v && v->field_var_of; v = v->field_var_of) {
+		/* Empty */
+	}
 	return v;
 }