29 "--print-rejected-preprocessed-source",
38 "--show-symbol-table",
39 "--show-function-table",
45 "--string-abstraction",
54 "--validate-goto-model",
56 "--export-file-local-symbols",
58 "--export-function-local-symbols",
113 "-compatibility_version",
145 "-no-integrated-cpp",
167 "-print-libgcc-file-name",
168 "-print-multi-directory",
170 "-print-search-dirs",
172 "-print-sysroot-headers-suffix",
196 "-mno-unaligned-access",
254 const std::string &
argv_i=*it;
268 line.erase(0, line.find_first_not_of(
"\t "));
286 argst::const_iterator next=it;
300 *o!=
nullptr && !found;
341 std::string value=
argv_i.substr(4);
365 argst::const_iterator next=it;
372 *o!=
nullptr && !found;
398 *o!=
nullptr && !found;
423 *o!=
nullptr && !found;
436 std::cerr <<
"Warning: uninterpreted gcc option '" <<
argv_i
450 assert(line[0]!=
' ' && line[0]!=
'\t');
479 line.erase(0, line.find_first_not_of(
"\t "));
485 (line==
"*link_libgcc:" ||
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
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
virtual bool parse(int, const char **)
parses the command line options into a cmdlinet
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)
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.