Lines Matching refs:APSInt
31 class Range : public std::pair<const llvm::APSInt*,
32 const llvm::APSInt*> {
34 Range(const llvm::APSInt &from, const llvm::APSInt &to)
35 : std::pair<const llvm::APSInt*, const llvm::APSInt*>(&from, &to) {
38 bool Includes(const llvm::APSInt &v) const {
41 const llvm::APSInt &From() const {
44 const llvm::APSInt &To() const {
47 const llvm::APSInt *getConcreteValue() const {
61 // the actual APSInt values instead of their pointers. This keeps the order
90 RangeSet(Factory &F, const llvm::APSInt &from, const llvm::APSInt &to)
100 const llvm::APSInt* getConcreteValue() const {
106 const llvm::APSInt &Lower,
107 const llvm::APSInt &Upper,
144 const llvm::APSInt &getMinValue() const {
149 bool pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const {
239 llvm::APSInt Lower, llvm::APSInt Upper) const {
292 const llvm::APSInt& Int,
293 const llvm::APSInt& Adjustment);
296 const llvm::APSInt& Int,
297 const llvm::APSInt& Adjustment);
300 const llvm::APSInt& Int,
301 const llvm::APSInt& Adjustment);
304 const llvm::APSInt& Int,
305 const llvm::APSInt& Adjustment);
308 const llvm::APSInt& Int,
309 const llvm::APSInt& Adjustment);
312 const llvm::APSInt& Int,
313 const llvm::APSInt& Adjustment);
315 const llvm::APSInt* getSymVal(ProgramStateRef St, SymbolRef sym) const;
334 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St,
349 if (const llvm::APSInt *Value = Ranges->getConcreteValue())
354 llvm::APSInt Zero = IntType.getZeroValue();
418 const llvm::APSInt &Int,
419 const llvm::APSInt &Adjustment) {
425 llvm::APSInt Lower = AdjustmentType.convert(Int) - Adjustment;
426 llvm::APSInt Upper = Lower;
438 const llvm::APSInt &Int,
439 APSInt &Adjustment) {
446 llvm::APSInt AdjInt = AdjustmentType.convert(Int) - Adjustment;
453 const llvm::APSInt &Int,
454 const llvm::APSInt &Adjustment) {
467 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
468 llvm::APSInt Min = AdjustmentType.getMinValue();
472 llvm::APSInt Lower = Min-Adjustment;
473 llvm::APSInt Upper = ComparisonVal-Adjustment;
482 const llvm::APSInt &Int,
483 const llvm::APSInt &Adjustment) {
496 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
497 llvm::APSInt Max = AdjustmentType.getMaxValue();
501 llvm::APSInt Lower = ComparisonVal-Adjustment;
502 llvm::APSInt Upper = Max-Adjustment;
511 const llvm::APSInt &Int,
512 const llvm::APSInt &Adjustment) {
525 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
526 llvm::APSInt Min = AdjustmentType.getMinValue();
530 llvm::APSInt Max = AdjustmentType.getMaxValue();
531 llvm::APSInt Lower = ComparisonVal-Adjustment;
532 llvm::APSInt Upper = Max-Adjustment;
540 const llvm::APSInt &Int,
541 const llvm::APSInt &Adjustment) {
554 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
555 llvm::APSInt Max = AdjustmentType.getMaxValue();
559 llvm::APSInt Min = AdjustmentType.getMinValue();
560 llvm::APSInt Lower = Min-Adjustment;
561 llvm::APSInt Upper = ComparisonVal-Adjustment;
