Lines Matching refs:DefinedOrUnknownSVal

63 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) {  in makeZeroVal()
140 DefinedOrUnknownSVal
158 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag,  in conjureSymbolVal()
176 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag,  in conjureSymbolVal()
195 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt,  in conjureSymbolVal()
213 DefinedOrUnknownSVal
221 DefinedOrUnknownSVal
250 DefinedOrUnknownSVal
543 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,  in evalEQ()
544                                          DefinedOrUnknownSVal lhs,  in evalEQ()
545                                          DefinedOrUnknownSVal rhs) {  in evalEQ()
547       .castAs<DefinedOrUnknownSVal>();  in evalEQ()