533 

   533 

   534 /********************************/

   534 /********************************/

   535 /* B 3.2.4 Iteration Statements */

   535 /* B 3.2.4 Iteration Statements */

   536 /********************************/

   536 /********************************/

   537 void *lvalue_check_c::visit(for_statement_c *symbol) {

   537 void *lvalue_check_c::visit(for_statement_c *symbol) {

   538 	control_variables.push_back(get_var_name_c::get_name(symbol->control_variable));

   539 	control_variables.push_back(get_var_name_c::get_name(symbol->control_variable));

   539 	symbol->statement_list->accept(*this);

   540 	symbol->statement_list->accept(*this);

   540 	control_variables.pop_back();

   541 	control_variables.pop_back();

   541 	return NULL;

   542 	return NULL;

   542 }

   543 }