diff -r 9ed5aff159db -r aad6aa35ce60 stage3/constant_folding.cc --- 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 */ /********************************/