cprover
|
#include "gcc_cmdline.h"
#include <cassert>
#include <cstring>
#include <iostream>
#include <fstream>
#include <util/prefix.h>
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 [] |
A special command line object for the gcc-like options
Definition in file gcc_cmdline.cpp.
const char* gcc_options_with_argument[] |
Definition at line 60 of file gcc_cmdline.cpp.
const char* gcc_options_with_concatenated_argument[] |
Definition at line 115 of file gcc_cmdline.cpp.
const char* gcc_options_with_separated_argument[] |
Definition at line 82 of file gcc_cmdline.cpp.
const char* gcc_options_without_argument[] |
Definition at line 123 of file gcc_cmdline.cpp.
const char* goto_cc_options_with_separated_argument[] |
Definition at line 23 of file gcc_cmdline.cpp.
const char* goto_cc_options_without_argument[] |
Definition at line 35 of file gcc_cmdline.cpp.