ΒΆ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 = {{}}