14 #ifndef CPROVER_GOTO_CC_GCC_CMDLINE_H 15 #define CPROVER_GOTO_CC_GCC_CMDLINE_H 23 virtual bool parse(
int,
const char**);
30 typedef std::vector<std::string>
argst;
37 #endif // CPROVER_GOTO_CC_GCC_CMDLINE_H
bool parse_arguments(const argst &args, bool in_spec_file)
virtual bool parse(int, const char **)
Command line interpretation for goto-cc.
std::vector< std::string > argst
void parse_specs()
Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html.
void parse_specs_line(const std::string &line)
Parse GCC spec files https://gcc.gnu.org/onlinedocs/gcc/Spec-Files.html.