ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_c_adjust_code.cpp File Reference
Include dependency graph for clang_c_adjust_code.cpp:

Functions

static bool carries_base_adjustment (const exprt &arg)

Function Documentation

◆ carries_base_adjustment()

bool carries_base_adjustment ( const exprt & arg)
static