|
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<<().