Method output_addr_checks

src/ArrayVariable.cpp:700–753

--------------------------------------------------------------

// --------------------------------------------------------------
void
ArrayVariable::output_addr_checks(std::ostream &out, const Variable* var, string field_name, int indent) const
{
	size_t i;
	vector<const Variable *> &ctrl_vars = Variable::get_new_ctrl_vars();
	// declare control variables
	OutputArrayCtrlVars(ctrl_vars, out, get_dimension(), indent);
	for (i=0; i<get_dimension(); i++) {
		output_tab(out, indent);
		out << "for (";
		out << ctrl_vars[i]->get_actual_name();
		out << " = 0; ";
		out << ctrl_vars[i]->get_actual_name();
		out << " < " << sizes[i] << "; ";
		out << ctrl_vars[i]->get_actual_name();
		if (CGOptions::post_incr_operator()) {
			out << "++)";
		}
		else {
			out << " = " << ctrl_vars[i]->get_actual_name() << " + 1)";
		}
		outputln(out);
		output_open_encloser("{", out, indent);
	}
	output_tab(out, indent);
	out << "if (";
	var->Output(out);
	out << " == &";
	output_with_indices(out, ctrl_vars);
	out << field_name;
	out << ")" << endl;
	output_open_encloser("{", out, indent);
	output_tab(out, indent);
	out << "printf(\"   ";
	var->Output(out);
	out << " = &";
	out << get_actual_name();
	for (i=0; i<get_dimension(); i++) {
		out << "[%d]";
	}
	out << ";\\n\"";
	for (i=0; i<get_dimension(); i++) {
		out << ", ";
		out << ctrl_vars[i]->get_actual_name();
	}
	out << ");" << endl;
	output_tab(out, indent);
	out << "break;";
	output_close_encloser("}", out, indent);
	// output the closing bracelets
	for (i=0; i<get_dimension(); i++) {
		output_close_encloser("}", out, indent);
	}
}

string
ArrayVariable::make_print_index_str(const vector<const Variable *> &cvs) const