1840                               const llvm::APSInt &Adjustment) override;
1844                               const llvm::APSInt &Adjustment) override;
1848                               const llvm::APSInt &Adjustment) override;
1852                               const llvm::APSInt &Adjustment) override;
1856                               const llvm::APSInt &Adjustment) override;
1860                               const llvm::APSInt &Adjustment) override;
1864       const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
1868       const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
1882                          const llvm::APSInt &Adjustment);
1885                          const llvm::APSInt &Adjustment);
1888                          const llvm::APSInt &Adjustment);
1891                          const llvm::APSInt &Adjustment);
1894                          const llvm::APSInt &Adjustment);
2961                                     const llvm::APSInt &Adjustment) {  in assumeSymNE()  argument
2963   APSIntType AdjustmentType(Adjustment);  in assumeSymNE()
2967   llvm::APSInt Point = AdjustmentType.convert(Int) - Adjustment;  in assumeSymNE()
2977                                     const llvm::APSInt &Adjustment) {  in assumeSymEQ()  argument
2979   APSIntType AdjustmentType(Adjustment);  in assumeSymEQ()
2984   llvm::APSInt AdjInt = AdjustmentType.convert(Int) - Adjustment;  in assumeSymEQ()
2994                                                const llvm::APSInt &Adjustment) {  in getSymLTRange()  argument
2996   APSIntType AdjustmentType(Adjustment);  in getSymLTRange()
3012   llvm::APSInt Lower = Min - Adjustment;  in getSymLTRange()
3013   llvm::APSInt Upper = ComparisonVal - Adjustment;  in getSymLTRange()
3023                                     const llvm::APSInt &Adjustment) {  in assumeSymLT()  argument
3024   RangeSet New = getSymLTRange(St, Sym, Int, Adjustment);  in assumeSymLT()
3031                                                const llvm::APSInt &Adjustment) {  in getSymGTRange()  argument
3033   APSIntType AdjustmentType(Adjustment);  in getSymGTRange()
3049   llvm::APSInt Lower = ComparisonVal - Adjustment;  in getSymGTRange()
3050   llvm::APSInt Upper = Max - Adjustment;  in getSymGTRange()
3060                                     const llvm::APSInt &Adjustment) {  in assumeSymGT()  argument
3061   RangeSet New = getSymGTRange(St, Sym, Int, Adjustment);  in assumeSymGT()
3068                                                const llvm::APSInt &Adjustment) {  in getSymGERange()  argument
3070   APSIntType AdjustmentType(Adjustment);  in getSymGERange()
3087   llvm::APSInt Lower = ComparisonVal - Adjustment;  in getSymGERange()
3088   llvm::APSInt Upper = Max - Adjustment;  in getSymGERange()
3097                                     const llvm::APSInt &Adjustment) {  in assumeSymGE()  argument
3098   RangeSet New = getSymGERange(St, Sym, Int, Adjustment);  in assumeSymGE()
3105                                       const llvm::APSInt &Adjustment) {  in getSymLERange()  argument
3107   APSIntType AdjustmentType(Adjustment);  in getSymLERange()
3124   llvm::APSInt Lower = Min - Adjustment;  in getSymLERange()
3125   llvm::APSInt Upper = ComparisonVal - Adjustment;  in getSymLERange()
3134                                                const llvm::APSInt &Adjustment) {  in getSymLERange()  argument
3135   return getSymLERange([&] { return getRange(St, Sym); }, Int, Adjustment);  in getSymLERange()
3141                                     const llvm::APSInt &Adjustment) {  in assumeSymLE()  argument
3142   RangeSet New = getSymLERange(St, Sym, Int, Adjustment);  in assumeSymLE()
3148     const llvm::APSInt &To, const llvm::APSInt &Adjustment) {  in assumeSymWithinInclusiveRange()  argument
3149   RangeSet New = getSymGERange(State, Sym, From, Adjustment);  in assumeSymWithinInclusiveRange()
3152   RangeSet Out = getSymLERange([&] { return New; }, To, Adjustment);  in assumeSymWithinInclusiveRange()
3158     const llvm::APSInt &To, const llvm::APSInt &Adjustment) {  in assumeSymOutsideInclusiveRange()  argument
3159   RangeSet RangeLT = getSymLTRange(State, Sym, From, Adjustment);  in assumeSymOutsideInclusiveRange()
3160   RangeSet RangeGT = getSymGTRange(State, Sym, To, Adjustment);  in assumeSymOutsideInclusiveRange()