cprover
Loading...
Searching...
No Matches
cpp_parser.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C++ Parser
4
5Author: Daniel Kroening, kroening@cs.cmu.edu
6
7\*******************************************************************/
8
11
12#include "cpp_parser.h"
13
14#include <util/config.h>
15
16#include <ansi-c/gcc_version.h>
17
19
20bool cpp_parse();
21
ansi_c_parsert ansi_c_parser
configt config
Definition config.cpp:25
bool ts_18661_3_Floatn_types
struct configt::cppt cpp
struct configt::ansi_ct ansi_c
std::optional< bool > support_float16
Definition cpp_parser.h:73
virtual bool parse() override
ansi_c_parsert::modet mode
Definition cpp_parser.h:49
bool is_at_least(unsigned v_major, unsigned v_minor=0, unsigned v_patchlevel=0) const
void get(const std::string &executable)
enum gcc_versiont::flavort flavor
message_handlert & get_message_handler()
Definition message.h:184
virtual void set_message_handler(message_handlert &_message_handler)
Definition message.h:179
std::istream * in
Definition parser.h:26
void set_file(const irep_idt &file)
Definition parser.h:85
messaget log
Definition parser.h:136
irep_idt get_file() const
Definition parser.h:92
cpp_parsert cpp_parser
bool cpp_parse()
Definition parse.cpp:8393
C++ Parser.
preprocessort preprocessor
Definition config.h:260
enum configt::cppt::cpp_standardt cpp_standard