Method set_platform_specific_options

src/CGOptions.cpp:333–372

looking for the platform info file in the working directory and load platform specific information. If not found, use info from the platform that Csmith is running, and output them to the file */

   to the file
*/
void
CGOptions::set_platform_specific_options(void)
{
	const char* int_str = "integer size = ";
	const char* ptr_str = "pointer size = ";
	ifstream conf(PLATFORM_CONFIG_FILE);
	if (conf.fail()) {
		ofstream conf(PLATFORM_CONFIG_FILE);
		conf << int_str << sizeof(int) << endl;
		conf << ptr_str << sizeof(int*) << endl;
		int_size(sizeof(int));
		pointer_size(sizeof(int*));
		conf.close();
	}
	else {
		string line;
		while(!conf.eof()) {
			getline(conf, line);
			if (line.substr(0, strlen(int_str)) == int_str) {
				string s = line.substr(strlen(int_str));
				StringUtils::chop(s);
				int_size(StringUtils::str2int(s));
			}
			if (line.substr(0, strlen(ptr_str)) == ptr_str) {
				string s = line.substr(strlen(ptr_str));
				StringUtils::chop(s);
				pointer_size(StringUtils::str2int(s));
			}
		}
		if (!int_size_) {
			cout << "please specify integer size in " << PLATFORM_CONFIG_FILE << endl;
			exit(-1);
		}
		if (!pointer_size_) {
			cout << "please specify pointer size in " << PLATFORM_CONFIG_FILE << endl;
			exit(-1);
		}
		conf.close();
	}
}

int
CGOptions::int_size(void)