Lines Matching refs:SymbolVal
78 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
87 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
90 nonloc::SymbolVal SValBuilder::makeNonLoc(const llvm::APSInt &lhs, in makeNonLoc()
95 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
98 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
103 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
110 return nonloc::SymbolVal(SymMgr.getUnarySymExpr(operand, op, type)); in makeNonLoc()
113 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
119 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
155 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
192 return nonloc::SymbolVal(sym); in conjureSymbolVal()
210 return nonloc::SymbolVal(sym); in conjureSymbolVal()
247 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
266 return nonloc::SymbolVal(sym); in getDerivedRegionValueSymbolVal()
452 return makeNonLoc(X.castAs<nonloc::SymbolVal>().getSymbol(), UO_Minus, in evalMinus()
464 return makeNonLoc(X.castAs<nonloc::SymbolVal>().getSymbol(), UO_Not, in evalComplement()
721 return nonloc::SymbolVal( in VisitLocMemRegionVal()
947 SVal VisitNonLocSymbolVal(nonloc::SymbolVal V) { in VisitNonLocSymbolVal()
1002 nonloc::SymbolVal simplifySymbolCast(nonloc::SymbolVal V, QualType CastTy) { in simplifySymbolCast()
1064 return nonloc::SymbolVal(RootSym); in simplifySymbolCast()