globals.cpp File Reference

#include <esbmc/globals.h>
#include <langapi/mode.h>
#include <c2goto/cprover_library.h>
#include <clang-c-frontend/clang_c_language.h>
#include <clang-cpp-frontend/esbmc_internal_cpp.h>

Include dependency graph for globals.cpp:

Functions
std::string	esbmc_build_id ()
	The build ID linked into this binary: the commit it was built from, whether that tree was dirty, and who built it.
void	register_bundled_files ()
	Registers every file bundled into the binary with file_operations.

Variables
const char	buildidstring_buf []
const unsigned int	buildidstring_buf_size
const mode_table_et	mode_table []

Function Documentation

esbmc_build_id()

std::string esbmc_build_id

(

)

The build ID linked into this binary: the commit it was built from, whether that tree was dirty, and who built it.

Written on every build by scripts/buildidobj.py.

register_bundled_files()

void register_bundled_files

(

)

Registers every file bundled into the binary with file_operations.

Must run before anything reads a bundled path.

Variable Documentation

buildidstring_buf

const char buildidstring_buf[]

buildidstring_buf_size

const unsigned int buildidstring_buf_size

mode_table

const mode_table_et mode_table[]

Initial value:

= {
  LANGAPI_MODE_CLANG_C,
  LANGAPI_MODE_CLANG_CPP,
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
  LANGAPI_MODE_END}