gcc_versiont Class Reference

#include <gcc_version.h>

Public Types
enum class	flavort { UNKNOWN , CLANG , GCC , BCC }

Public Member Functions
void	get (const std::string &executable)
bool	is_at_least (unsigned v_major, unsigned v_minor=0, unsigned v_patchlevel=0) const
	gcc_versiont ()

Public Attributes
unsigned	v_major
unsigned	v_minor
unsigned	v_patchlevel
enum gcc_versiont::flavort	flavor
configt::ansi_ct::c_standardt	default_c_standard
configt::cppt::cpp_standardt	default_cxx_standard

Detailed Description

Definition at line 19 of file gcc_version.h.

Member Enumeration Documentation

flavort

enum class gcc_versiont::flavort

strong

Enumerator
UNKNOWN
CLANG
GCC
BCC

Definition at line 31 of file gcc_version.h.

Constructor & Destructor Documentation

gcc_versiont()

gcc_versiont::gcc_versiont ( )

inline

Definition at line 42 of file gcc_version.h.

Member Function Documentation

get()

void gcc_versiont::get

(

const std::string &

executable

)

Definition at line 18 of file gcc_version.cpp.

is_at_least()

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

Definition at line 136 of file gcc_version.cpp.

Member Data Documentation

default_c_standard

configt::ansi_ct::c_standardt gcc_versiont::default_c_standard

Definition at line 39 of file gcc_version.h.

default_cxx_standard

configt::cppt::cpp_standardt gcc_versiont::default_cxx_standard

Definition at line 40 of file gcc_version.h.

flavor

enum gcc_versiont::flavort gcc_versiont::flavor

v_major

unsigned gcc_versiont::v_major

Definition at line 22 of file gcc_version.h.

v_minor

unsigned gcc_versiont::v_minor

Definition at line 22 of file gcc_version.h.

v_patchlevel

unsigned gcc_versiont::v_patchlevel

Definition at line 22 of file gcc_version.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/ansi-c/gcc_version.h
• /home/runner/work/cbmc/cbmc/src/ansi-c/gcc_version.cpp