11 #ifndef CPROVER_GOTO_CC_GCC_VERSION_H 12 #define CPROVER_GOTO_CC_GCC_VERSION_H 24 void get(
const std::string &executable);
enum gcc_versiont::flavort flavor
Globally accessible architectural configuration.
std::ostream & operator<<(std::ostream &, const gcc_versiont &)
bool is_at_least(unsigned v_major, unsigned v_minor=0, unsigned v_patchlevel=0) const
configt::ansi_ct::c_standardt default_c_standard
configt::cppt::cpp_standardt default_cxx_standard