fix a bugs in generating side-effecting expressions

avoid writing to volatile storages when creating embedded assignments or prefix/postfix ++/-- operators. This is for the benefit of effect analysis.
csmith-project · Jul 22, 2011 · a791a6f · a791a6f
1 parent 3088484
commit a791a6f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/ExpressionAssign.cpp b/src/ExpressionAssign.cpp
@@ -47,6 +47,11 @@
 Expression *
 ExpressionAssign::make_random(CGContext &cg_context, const Type* type, const CVQualifiers* qfer)
 { 
+	CVQualifiers qf;
+	if (qfer == NULL) {
+		qf = CVQualifiers::random_qualifiers(type, Effect::WRITE, cg_context, true);
+		qfer = &qf;
+	}
 	StatementAssign* sa = StatementAssign::make_random(cg_context, type, qfer);
 	FactMgr* fm = get_fact_mgr(&cg_context);
 	update_fact_for_assign(sa, fm->global_facts);