Home
last modified time | relevance | path

Searched refs:FormulaBool (Results 1 – 4 of 4) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h42 FormulaBool, enumerator
104 Val->getKind() == Kind::FormulaBool; in classof()
150 : BoolValue(Kind::FormulaBool, F) { in FormulaBoolValue()
155 return Val->getKind() == Kind::FormulaBool; in classof()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DValue.cpp53 case Value::Kind::FormulaBool: in operator <<()
H A DDebugSupport.cpp35 case Value::Kind::FormulaBool: in debugString()
H A DHTMLLogger.cpp100 case Value::Kind::FormulaBool: in dump()