CBMC
gcc_cmdline.cpp File Reference

A special command line object for the gcc-like options. More...

#include "gcc_cmdline.h"
#include <util/invariant.h>
#include <util/prefix.h>
#include <cstring>
#include <fstream>
#include <iostream>
#include <sstream>
+ Include dependency graph for gcc_cmdline.cpp:

Go to the source code of this file.

Variables

const char * goto_cc_options_with_separated_argument []
 
const char * goto_cc_options_without_argument []
 
const char * gcc_options_with_argument []
 
const char * gcc_options_with_separated_argument []
 
const char * gcc_options_with_concatenated_argument []
 
const char * gcc_options_without_argument []
 

Detailed Description

A special command line object for the gcc-like options.

Definition in file gcc_cmdline.cpp.

Variable Documentation

◆ gcc_options_with_argument

const char* gcc_options_with_argument[]
Initial value:
=
{
"-o",
"-x",
"-B",
"-iquote",
"-idirafter",
"-include",
"-I",
"-V",
"-D",
"-L",
"-l",
"-MT",
"-MQ",
"-MF",
"-U",
"-u",
"-T",
nullptr
}

Definition at line 62 of file gcc_cmdline.cpp.

◆ gcc_options_with_concatenated_argument

const char* gcc_options_with_concatenated_argument[]
Initial value:
=
{
"-d",
"-g",
"-A",
nullptr
}

Definition at line 119 of file gcc_cmdline.cpp.

◆ gcc_options_with_separated_argument

const char* gcc_options_with_separated_argument[]

Definition at line 84 of file gcc_cmdline.cpp.

◆ gcc_options_without_argument

const char* gcc_options_without_argument[]

Definition at line 127 of file gcc_cmdline.cpp.

◆ goto_cc_options_with_separated_argument

const char* goto_cc_options_with_separated_argument[]
Initial value:
=
{
"--verbosity",
"--function",
"--native-compiler",
"--native-linker",
"--print-rejected-preprocessed-source",
"--mangle-suffix",
nullptr
}

Definition at line 24 of file gcc_cmdline.cpp.

◆ goto_cc_options_without_argument

const char* goto_cc_options_without_argument[]
Initial value:
=
{
"--show-symbol-table",
"--show-function-table",
"--ppc-macos",
"--i386-linux",
"--i386-win32",
"--i386-macos",
"--winx64",
"--string-abstraction",
"--no-library",
"--16",
"--32",
"--64",
"--little-endian",
"--big-endian",
"--partial-inlining",
"--validate-goto-model",
"-?",
"--export-file-local-symbols",
"--export-function-local-symbols",
nullptr
}

Definition at line 36 of file gcc_cmdline.cpp.