StaticAnalyzer/Core/SimpleSValBuilder.cpp

37                            NonLoc lhs, NonLoc rhs, QualType resultTy);
39                            Loc lhs, Loc rhs, QualType resultTy);
41                            Loc lhs, NonLoc rhs, QualType resultTy);
306                                   NonLoc lhs, NonLoc rhs,
308   NonLoc InputLHS = lhs;
312   if (lhs == rhs)
331         return evalCastFromNonLoc(lhs, resultTy);
335     switch (lhs.getSubKind()) {
337       return makeSymExprValNN(state, op, lhs, rhs, resultTy);
339       Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc();
364       llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue();
409         std::swap(lhs, rhs);
414           return evalCastFromNonLoc(lhs, resultTy);
419           return evalCastFromNonLoc(lhs, resultTy);
427       SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol();
505               lhs = nonloc::SymbolVal(symIntExpr->getLHS());
517       // If so, "fold" the constant by setting 'lhs' to a ConcreteInt
521         lhs = nonloc::ConcreteInt(*Constant);
586                                   Loc lhs, Loc rhs,
598   if (lhs == rhs) {
615   switch (lhs.getSubKind()) {
626         return evalCastFromLoc(lhs, resultTy);
653       const llvm::APSInt &lVal = lhs.castAs<loc::ConcreteInt>().getValue();
661           lhs.castAs<loc::ConcreteInt>().evalBinOp(BasicVals, op, *rInt);
674     if (lhs.isZeroConstant()) {
697       if (SymbolRef lSym = lhs.getAsLocSymbol(true))
706           return evalCastFromLoc(lhs, resultTy);
710           NonLoc l = evalCastFromLoc(lhs, boolType).castAs<NonLoc>();
721     const MemRegion *LeftMR = lhs.getAsRegion();
847     SymbolRef LHSSym = lhs.getAsLocSymbol();
860                                   Loc lhs, NonLoc rhs, QualType resultTy) {
866     return lhs;
872     if (Optional<loc::ConcreteInt> lhsInt = lhs.getAs<loc::ConcreteInt>()) {
900   // Handle cases where 'lhs' is a region.
901   if (const MemRegion *region = lhs.getAsRegion()) {