67                    NonLoc lhs, NonLoc rhs, QualType resultTy) override;
71                    Loc lhs, NonLoc rhs, QualType resultTy) override;
277 static NonLoc doRearrangeUnchecked(ProgramStateRef State,  in doRearrangeUnchecked()
304         .castAs<NonLoc>();  in doRearrangeUnchecked()
351 static Optional<NonLoc> tryRearrange(ProgramStateRef State,  in tryRearrange()
352                                      BinaryOperator::Opcode Op, NonLoc Lhs,  in tryRearrange()
353                                      NonLoc Rhs, QualType ResultTy) {  in tryRearrange()
408                                   NonLoc lhs, NonLoc rhs,  in evalBinOpNN()
410   NonLoc InputLHS = lhs;  in evalBinOpNN()
411   NonLoc InputRHS = rhs;  in evalBinOpNN()
417   if (auto simplifiedLhsAsNonLoc = simplifiedLhs.getAs<NonLoc>())  in evalBinOpNN()
419   if (auto simplifiedRhsAsNonLoc = simplifiedRhs.getAs<NonLoc>())  in evalBinOpNN()
683       if (Optional<NonLoc> V = tryRearrange(state, op, lhs, rhs, resultTy))  in evalBinOpNN()
898           NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>();  in evalBinOpLL()
899           NonLoc r = makeTruthVal(false, boolType).castAs<NonLoc>();  in evalBinOpLL()
977         Optional<NonLoc> LeftIndex = LeftIndexVal.getAs<NonLoc>();  in evalBinOpLL()
981         LeftIndex = LeftIndexVal.getAs<NonLoc>();  in evalBinOpLL()
987         Optional<NonLoc> RightIndex = RightIndexVal.getAs<NonLoc>();  in evalBinOpLL()
991         RightIndex = RightIndexVal.getAs<NonLoc>();  in evalBinOpLL()
1054                                     NonLoc rhs, QualType resultTy) {  in evalBinOpLN()
1128     rhs = convertToArrayIndex(rhs).castAs<NonLoc>();  in evalBinOpLN()
1160     if (Optional<NonLoc> indexV = index.getAs<NonLoc>()) {  in evalBinOpLN()