30 for(std::size_t
i = 0;
i < arguments.size();
i++)
33 if(std::string(arguments[
i], 0, 2) ==
"--")
37 if(arguments[
i] ==
"--verbosity")
39 if(
i < arguments.size() - 1)
41 set(arguments[
i], arguments[
i + 1]);
46 else if(!arguments[
i].empty() && arguments[
i][0] ==
'@')
65 std::vector<std::string> arguments;
69 arguments.push_back(
argv[
i]);
71 return parse(arguments);
116 std::cerr <<
"failed to open response file '" <<
file <<
"'\n";
124 line.size() >= 2 && line[0] ==
static_cast<char>(0xff) &&
125 line[1] ==
static_cast<char>(0xfe))
150 line.size() >= 3 && line[0] ==
static_cast<char>(0xef) &&
151 line[1] ==
static_cast<char>(0xbb) && line[2] ==
static_cast<char>(0xbf))
182 std::vector<std::string> arguments;
185 for(std::size_t
i = 0;
i < line.size();
i++)
192 arguments.push_back(option);
204 arguments.push_back(option);
219 std::cout <<
"Warning: uninterpreted non-LINK option '" << s <<
"'\n";
228 "ASSEMBLYLINKRESOURCE",
233 "CLRLOADEROPTIMIZATION",
234 "CLRSUPPORTLASTERROR",
235 "CLRTHREADATTRIBUTE",
236 "CLRUNMANAGEDCODECHECK",
273 "MANIFESTDEPENDENCY",
318 std::string result = s;
328 if(s[0] !=
'/' && s[0] !=
'-')
343 if(!
optnr.has_value())
364 std::cout <<
"Warning: uninterpreted LINK option '" << s <<
"'\n";
static abstract_object_pointert transform(const exprt &expr, const std::vector< abstract_object_pointert > &operands, const abstract_environmentt &environment, const namespacet &ns)
virtual void clear()
Reset the abstract state.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
optionalt< std::size_t > getoptnr(char option) const
std::vector< optiont > options
void set(const std::string &opt, const char *value) override
Set option option to value.
virtual bool parse(int, const char **)
parses the command line options into a cmdlinet
void process_non_link_option(const std::string &s)
void process_response_file_line(const std::string &line)
void process_response_file(const std::string &file)
void process_link_option(const std::string &s)
static std::istream & my_wgetline(std::istream &in, std::wstring &dest)
static std::istream & my_wgetline(std::istream &in, std::wstring &dest)
const char * ms_link_options[]
static std::string to_upper_string(const std::string &s)
const char * non_ms_link_options[]
parses the command line options into a cmdlinet
A special command line object for LINK options.
output_type narrow(input_type input)
Run-time checked narrowing cast.