CBMC
armcc_cmdline.cpp File Reference

A special command line object to mimic ARM's armcc. More...

#include "armcc_cmdline.h"
#include <util/prefix.h>
#include <algorithm>
#include <cstring>
#include <iostream>
#include <string>
#include <vector>
+ Include dependency graph for armcc_cmdline.cpp:

Go to the source code of this file.

Functions

std::optional< std::string > prefix_in_list (const std::string &option, const std::vector< std::string > &list)
 

Variables

static const char * options_no_arg []
 parses the command line options into a cmdlinet More...
 
static const std::vector< std::string > options_with_prefix
 
static const std::vector< std::string > options_with_arg
 

Detailed Description

A special command line object to mimic ARM's armcc.

Definition in file armcc_cmdline.cpp.

Function Documentation

◆ prefix_in_list()

std::optional<std::string> prefix_in_list ( const std::string &  option,
const std::vector< std::string > &  list 
)

Definition at line 273 of file armcc_cmdline.cpp.

Variable Documentation

◆ options_no_arg

const char* options_no_arg[]
static

parses the command line options into a cmdlinet

parameters: argument count, argument strings
Returns
none

Definition at line 28 of file armcc_cmdline.cpp.

◆ options_with_arg

const std::vector<std::string> options_with_arg
static
Initial value:
{
"--verbosity",
"--function",
"-D",
"-U",
"-A",
"-L",
"-I",
"-J",
"-Warmcc,",
"-o",
"--cpu",
"--apcs"
}

Definition at line 252 of file armcc_cmdline.cpp.

◆ options_with_prefix

const std::vector<std::string> options_with_prefix
static

Definition at line 203 of file armcc_cmdline.cpp.