Searched refs:TopBool (Results 1 - 4 of 4) sorted by relevance

/freebsd-current/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h41 TopBool, member in class:clang::dataflow::Value::Kind
104 return Val->getKind() == Kind::TopBool ||
120 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) {
125 return Val->getKind() == Kind::TopBool;
/freebsd-current/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DValue.cpp51 case Value::Kind::TopBool:
52 return OS << "TopBool(" << cast<TopBoolValue>(Val).getAtom() << ")";
H A DDebugSupport.cpp35 case Value::Kind::TopBool:
36 return "TopBool";
H A DHTMLLogger.cpp99 case Value::Kind::TopBool:

Completed in 117 milliseconds