--- a/stage3/constant_folding.cc Sun Dec 28 13:29:47 2014 +0000
+++ b/stage3/constant_folding.cc Sun Dec 28 22:20:08 2014 +0000
@@ -988,14 +988,14 @@
/*********************/
/* B 1.4 - Variables */
/*********************/
-// #if DO_CONSTANT_PROPAGATION__
+#if DO_CONSTANT_PROPAGATION__
void *constant_folding_c::visit(symbolic_variable_c *symbol) {
std::string varName = get_var_name_c::get_name(symbol->var_name)->value;
if (values.count(varName) > 0)
symbol->const_value = values[varName];
return NULL;
}
-// #endif // DO_CONSTANT_PROPAGATION__
+#endif // DO_CONSTANT_PROPAGATION__
void *constant_folding_c::visit(symbolic_constant_c *symbol) {
std::string varName = get_var_name_c::get_name(symbol->var_name)->value;
@@ -1711,6 +1711,7 @@
+#if DO_CONSTANT_PROPAGATION__
/*********************************/
/* B 3.2.1 Assignment Statements */
/*********************************/
@@ -1724,7 +1725,6 @@
return NULL;
}
-#if DO_CONSTANT_PROPAGATION__
/********************************/
/* B 3.2.3 Selection Statements */
/********************************/
--- a/stage3/constant_folding.hh Sun Dec 28 13:29:47 2014 +0000
+++ b/stage3/constant_folding.hh Sun Dec 28 22:20:08 2014 +0000
@@ -121,9 +121,9 @@
/*********************/
/* B 1.4 - Variables */
/*********************/
-// #if DO_CONSTANT_PROPAGATION__
+ #if DO_CONSTANT_PROPAGATION__
void *visit(symbolic_variable_c *symbol);
-// #endif // DO_CONSTANT_PROPAGATION__
+ #endif // DO_CONSTANT_PROPAGATION__
void *visit(symbolic_constant_c *symbol);
/******************************************/
@@ -261,13 +261,12 @@
void *visit( not_expression_c *symbol);
//void *visit(function_invocation_c *symbol); /* TODO */
-
+ #if DO_CONSTANT_PROPAGATION__
/*********************************/
/* B 3.2.1 Assignment Statements */
/*********************************/
void *visit(assignment_statement_c *symbol);
- #if DO_CONSTANT_PROPAGATION__
/********************************/
/* B 3.2.3 Selection Statements */
/********************************/