|
CBMC
|
#include "gcc_cmdline.h"#include <cstring>#include <fstream>#include <iostream>#include <sstream>#include <util/prefix.h>
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 [] |
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 62 of file gcc_cmdline.cpp.
| const char* gcc_options_with_concatenated_argument[] |
Definition at line 119 of file gcc_cmdline.cpp.
| const char* gcc_options_with_separated_argument[] |
Definition at line 84 of file gcc_cmdline.cpp.
| const char* gcc_options_without_argument[] |
Definition at line 127 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 36 of file gcc_cmdline.cpp.