30 "--print-rejected-preprocessed-source",
39 "--show-symbol-table",
40 "--show-function-table",
46 "--string-abstraction",
54 "--validate-goto-model",
56 "--export-file-local-symbols",
58 "--export-function-local-symbols",
113 "-compatibility_version",
147 "-no-integrated-cpp",
169 "-print-libgcc-file-name",
170 "-print-multi-directory",
172 "-print-search-dirs",
174 "-print-sysroot-headers-suffix",
198 "-mno-unaligned-access",
236 current_args.reserve(argc - 1);
238 for(
int i=1; i<argc; i++)
239 current_args.push_back(argv[i]);
249 const argst &args_to_parse,
252 for(argst::const_iterator it = args_to_parse.begin();
253 it != args_to_parse.end();
256 const std::string &argv_i=*it;
261 std::ifstream opts_file(argv_i.substr(1));
262 std::ostringstream all_lines;
265 while(std::getline(opts_file, line))
266 all_lines <<
' ' << line;
268 line = all_lines.str();
270 line.erase(0, line.find_first_not_of(
"\t "));
288 argst::const_iterator next=it;
302 *o!=
nullptr && !found;
308 if(next != args_to_parse.end())
317 else if(
has_prefix(argv_i, std::string(*o)+
"="))
343 std::string value=argv_i.substr(4);
353 std::size_t equal_pos=argv_i.find(
'=');
355 if(equal_pos==std::string::npos)
358 set(argv_i.substr(0, equal_pos), argv_i.substr(equal_pos+1));
367 argst::const_iterator next=it;
374 *o!=
nullptr && !found;
380 if(next != args_to_parse.end())
391 else if(
has_prefix(argv_i, std::string(*o)+
"="))
400 *o!=
nullptr && !found;
406 if(next != args_to_parse.end())
425 *o!=
nullptr && !found;
438 std::cerr <<
"Warning: uninterpreted gcc option '" << argv_i
454 argst args_from_specs;
457 arg_end!=std::string::npos;
458 arg_start=line.find_first_not_of(
"\t ", arg_end))
460 arg_end=line.find_first_of(
"\t ", arg_start);
461 args_from_specs.push_back(line.substr(arg_start, arg_end - arg_start));
470 const std::string &specs_file_name=
get_value(
"specs");
471 if(specs_file_name.empty())
474 std::ifstream specs_file(specs_file_name);
478 while(std::getline(specs_file, line))
481 line.erase(0, line.find_first_not_of(
"\t "));
487 (line==
"*link_libgcc:" ||
std::string get_value(char option) const
bool parse_arguments(const argst &args_to_parse, bool in_spec_file)
void parse_specs()
Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html.
std::vector< std::string > argst
void parse_specs_line(const std::string &line, bool in_spec_file)
Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html.
void set(const std::string &opt, const char *value) override
Set option option to value.
void add_infile_arg(const std::string &arg)
static bool in_list(const char *option, const char **list)
virtual bool parse(int argc, const char **argv, const char *optstring)
Parses a commandline according to a specification given in optstring.
void add_arg(const std::string &arg)
bool has_prefix(const std::string &s, const std::string &prefix)
const char * gcc_options_with_concatenated_argument[]
const char * gcc_options_with_separated_argument[]
const char * goto_cc_options_with_separated_argument[]
const char * gcc_options_without_argument[]
const char * goto_cc_options_without_argument[]
const char * gcc_options_with_argument[]
A special command line object for the gcc-like options.
#define PRECONDITION(CONDITION)
size_t strlen(const char *s)