Method output_volatile_fprintf

src/Variable.cpp:1083–1117

}

int
Variable::output_volatile_fprintf(ostream &out, int indent, const string &name,
		const string &sizeof_string, const string &fp_string) const
{
	std::string sz_symbol;
	std::string mach = CGOptions::vol_tests_mach();
	std::string pointer_str;

	if (is_pointer())
		pointer_str = "pointer";
	else
		pointer_str = "non-pointer";

	if (!mach.compare("x86")) {
		sz_symbol = "d";
	}
	else if (!mach.compare("x86_64")) {
		sz_symbol = "ld";
	}
	else {
		assert("invalid mach!" && 0);
	}

	std::string str = "fprintf(" + fp_string + ", \"" + name + "; %p; %" + sz_symbol + "; " + pointer_str + "\\n\", ";
	str += name;
	str += ", ";

	str += sizeof_string;
	str += ");";
	output_tab(out, indent);
	out << str;
	outputln(out);

	return 0;
}

bool
Variable::is_seen_name(vector<std::string> &seen_names, const std::string &name) const