cprover
|
#include <gcc_version.h>
Public Types | |
enum | flavort { flavort::UNKNOWN, flavort::CLANG, flavort::GCC, flavort::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 |
Definition at line 19 of file gcc_version.h.
|
strong |
Enumerator | |
---|---|
UNKNOWN | |
CLANG | |
GCC | |
BCC |
Definition at line 31 of file gcc_version.h.
|
inline |
Definition at line 42 of file gcc_version.h.
References UNKNOWN.
void gcc_versiont::get | ( | const std::string & | executable | ) |
Definition at line 19 of file gcc_version.cpp.
References BCC, configt::ansi_ct::C11, configt::ansi_ct::C99, CLANG, configt::cppt::CPP11, configt::cppt::CPP14, configt::cppt::CPP98, default_c_standard, default_cxx_standard, flavor, GCC, run(), split_string(), UNKNOWN, unsafe_string2unsigned(), v_major, v_minor, and v_patchlevel.
Referenced by gcc_modet::doit().
bool gcc_versiont::is_at_least | ( | unsigned | v_major, |
unsigned | v_minor = 0 , |
||
unsigned | v_patchlevel = 0 |
||
) | const |
Definition at line 132 of file gcc_version.cpp.
References v_major, v_minor, and v_patchlevel.
Referenced by gcc_modet::doit().
configt::ansi_ct::c_standardt gcc_versiont::default_c_standard |
Definition at line 39 of file gcc_version.h.
Referenced by gcc_modet::doit(), and get().
configt::cppt::cpp_standardt gcc_versiont::default_cxx_standard |
Definition at line 40 of file gcc_version.h.
Referenced by gcc_modet::doit(), and get().
enum gcc_versiont::flavort gcc_versiont::flavor |
Referenced by gcc_modet::doit(), and get().
unsigned gcc_versiont::v_major |
Definition at line 22 of file gcc_version.h.
Referenced by get(), is_at_least(), and operator<<().
unsigned gcc_versiont::v_minor |
Definition at line 22 of file gcc_version.h.
Referenced by get(), is_at_least(), and operator<<().
unsigned gcc_versiont::v_patchlevel |
Definition at line 22 of file gcc_version.h.
Referenced by get(), is_at_least(), and operator<<().