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 63 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 120 of file gcc_cmdline.cpp.

gcc_options_with_separated_argument

const char* gcc_options_with_separated_argument[]

Definition at line 85 of file gcc_cmdline.cpp.

gcc_options_without_argument

const char* gcc_options_without_argument[]

Definition at line 128 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",
  "--object-bits",
  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 37 of file gcc_cmdline.cpp.