CBMC: /home/runner/work/cbmc/cbmc/src/cpp/cpp_parser.cpp Source File

20 bool cpp_parsert::parse()

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");

28 support_float16 = gcc_version.flavor == gcc_versiont::flavort::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 ||

40 config.cpp.cpp_standard == configt::cppt::cpp_standardt::CPP17;

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}

config

configt config

Definition config.cpp:25

ansi_c_parsert::float16_type

bool float16_type

Definition ansi_c_parser.h:73

ansi_c_parsert::ts_18661_3_Floatn_types

bool ts_18661_3_Floatn_types

Definition ansi_c_parser.h:71

ansi_c_parsert::mode

modet mode

Definition ansi_c_parser.h:62

ansi_c_parsert::fp16_type

bool fp16_type

Definition ansi_c_parser.h:75

ansi_c_parsert::__float128_is_keyword

bool __float128_is_keyword

Definition ansi_c_parser.h:72

ansi_c_parsert::cpp98

bool cpp98

Definition ansi_c_parser.h:65

ansi_c_parsert::bf16_type

bool bf16_type

Definition ansi_c_parser.h:74

ansi_c_parsert::cpp11

bool cpp11

Definition ansi_c_parser.h:65

configt::cpp

struct configt::cppt cpp

configt::ansi_c

struct configt::ansi_ct ansi_c

cpp_parsert

Definition cpp_parser.h:25

cpp_parsert::token_buffer

cpp_token_buffert token_buffer

Definition cpp_parser.h:49

cpp_parsert::support_float16

std::optional< bool > support_float16

Definition cpp_parser.h:67

cpp_parsert::parse

virtual bool parse() override

Definition cpp_parser.cpp:20

cpp_parsert::mode

ansi_c_parsert::modet mode

Definition cpp_parser.h:43

cpp_token_buffert::ansi_c_parser

ansi_c_parsert ansi_c_parser

Definition cpp_token_buffer.h:67

gcc_versiont

Definition gcc_version.h:20

gcc_versiont::is_at_least

bool is_at_least(unsigned v_major, unsigned v_minor=0, unsigned v_patchlevel=0) const

Definition gcc_version.cpp:136

gcc_versiont::get

void get(const std::string &executable)

Definition gcc_version.cpp:18

gcc_versiont::flavort::GCC

@ GCC

gcc_versiont::flavor

enum gcc_versiont::flavort flavor

message_handlert

Definition message.h:27

messaget::get_message_handler

message_handlert & get_message_handler()

Definition message.h:183

parsert::in

std::istream * in

Definition parser.h:27

parsert::set_file

void set_file(const irep_idt &file)

Definition parser.h:84

parsert::log

messaget log

Definition parser.h:149

parsert::get_file

irep_idt get_file() const

Definition parser.h:91

config.h

cpp_parse

bool cpp_parse(cpp_parsert &, message_handlert &)

Definition parse.cpp:8436

cpp_parser.h

C++ Parser.

gcc_version.h

configt::ansi_ct::preprocessort::GCC

@ GCC

configt::cppt::cpp_standardt::CPP11

@ CPP11

configt::cppt::cpp_standardt::CPP17

@ CPP17

configt::cppt::cpp_standardt::CPP14

@ CPP14