ΒΆstd::string debugString(
const clang::dataflow::BoolValue& B,
llvm::DenseMap<const AtomicBoolValue*,
std::string> AtomNames = {{}})
std::string debugString(
const clang::dataflow::BoolValue& B,
llvm::DenseMap<const AtomicBoolValue*,
std::string> AtomNames = {{}})
Description
Returns a string representation for the boolean value `B`. Atomic booleans appearing in the boolean value `B` are assigned to labels either specified in `AtomNames` or created by default rules as B0, B1, ... Requirements: Names assigned to atoms should not be repeated in `AtomNames`.
Declared at: clang/include/clang/Analysis/FlowSensitive/DebugSupport.h:41
Parameters
- const clang::dataflow::BoolValue& B
- llvm::DenseMap<const AtomicBoolValue*, std::string> AtomNames = {{}}