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
21{
22 if(!support_float16.has_value())
23 {
24 if(config.ansi_c.preprocessor == configt::ansi_ct::preprocessort::GCC)
25 {
26 gcc_versiont gcc_version;
27 gcc_version.get("gcc");
29 gcc_version.is_at_least(13u);
30 }
31 else
32 support_float16 = false;
33 }
34
35 // We use the ANSI-C scanner
36 token_buffer.ansi_c_parser.cpp98 = true;
37 token_buffer.ansi_c_parser.cpp11 =
38 config.cpp.cpp_standard == configt::cppt::cpp_standardt::CPP11 ||
39 config.cpp.cpp_standard == configt::cppt::cpp_standardt::CPP14 ||
41 token_buffer.ansi_c_parser.ts_18661_3_Floatn_types =
42 false; // these are still typedefs
43 token_buffer.ansi_c_parser.__float128_is_keyword = false;
44 token_buffer.ansi_c_parser.float16_type = *support_float16;
45 token_buffer.ansi_c_parser.bf16_type = *support_float16;
46 token_buffer.ansi_c_parser.fp16_type = *support_float16;
47 token_buffer.ansi_c_parser.in = in;
48 token_buffer.ansi_c_parser.mode = mode;
49 token_buffer.ansi_c_parser.set_file(get_file());
50
51 return cpp_parse(*this, log.get_message_handler());
52}
configt config
Definition config.cpp:25
cpp_token_buffert token_buffer
Definition cpp_parser.h:49
std::optional< bool > support_float16
Definition cpp_parser.h:67
virtual bool parse() override
ansi_c_parsert::modet mode
Definition cpp_parser.h:43
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
std::istream * in
Definition parser.h:26
messaget log
Definition parser.h:133
irep_idt get_file() const
Definition parser.h:90
bool cpp_parse(cpp_parsert &, message_handlert &)
Definition parse.cpp:8436
C++ Parser.