cprover
armcc_cmdline.cpp File Reference

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

#include "armcc_cmdline.h"
#include <cstring>
#include <iostream>
+ Include dependency graph for armcc_cmdline.cpp:

Go to the source code of this file.

Variables

static const char * options_no_arg []
 parses the command line options into a cmdlinet More...
 
static const char * options_with_prefix []
 
static const char * options_with_arg []
 

Detailed Description

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

Definition in 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 23 of file armcc_cmdline.cpp.

◆ options_with_arg

const char* options_with_arg[]
static
Initial value:
=
{
"--verbosity",
"--function",
"-D",
"-U",
"-A",
"-L",
"-I",
"-J",
"-Warmcc,",
"-o",
"--cpu",
"--apcs",
nullptr
}

Definition at line 248 of file armcc_cmdline.cpp.

◆ options_with_prefix

const char* options_with_prefix[]
static

Definition at line 198 of file armcc_cmdline.cpp.