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

Functions

static void parse_float (llvm::SmallVectorImpl< char > &src, BigInt &significand, BigInt &exponent)

Function Documentation

◆ parse_float()

void parse_float ( llvm::SmallVectorImpl< char > & src,
BigInt & significand,
BigInt & exponent )
static