Lines Matching refs:aMax
684 if ((*key) > elem->aMax) return 1;
697 VG_(printf)(" %#lx .. %#lx: %lu vars\n", range->aMin, range->aMax,
703 /* Add the variable 'var' to 'scope' for the address range [aMin,aMax]
704 (inclusive of aMin and aMax). Split existing ranges as required if
705 aMin or aMax or both don't match existing range boundaries, and add
712 Addr aMax,
722 vg_assert(aMin <= aMax);
724 if (0) VG_(printf)("add_var_to_arange: %#lx .. %#lx\n", aMin, aMax);
735 vg_assert(first->aMin <= first->aMax);
736 vg_assert(first->aMin <= aMin && aMin <= first->aMax);
741 if (first->aMin == aMin && first->aMax == aMax) {
753 Addr tmp = first->aMax;
754 first->aMax = aMin-1;
755 vg_assert(first->aMin <= first->aMax);
760 nyu->aMax = tmp;
761 vg_assert(nyu->aMin <= nyu->aMax);
772 /* Now do exactly the same for the upper end (aMax): if it doesn't
775 last = VG_(OSetGen_Lookup)( scope, &aMax );
776 vg_assert(last->aMin <= last->aMax);
777 vg_assert(last->aMin <= aMax && aMax <= last->aMax);
779 if (aMax < last->aMax) {
784 last->aMin = aMax+1;
785 vg_assert(last->aMin <= last->aMax);
790 nyu->aMax = aMax;
791 vg_assert(nyu->aMin <= nyu->aMax);
800 vg_assert(aMax == last->aMax);
803 xxLast = (DiAddrRange*)VG_(OSetGen_Lookup)(scope, &aMax);
807 vg_assert(xxLast->aMax == aMax);
809 vg_assert(xxFirst->aMax < xxLast->aMin);
828 if (range->aMin > aMax) break;
831 range->aMin, range->aMax);
838 vg_assert(xxRangep->aMax + 1 == range->aMin);
849 vg_assert(xxRangep->aMax == aMax);
859 Addr aMax,
880 level, aMin, aMax, name );
896 vg_assert(aMin <= aMax);
906 Ignore any variables whose aMin .. aMax (that is, range of text
921 && (aMax < di->fsm.rx_map_avma
927 aMin, aMax,
987 nyu->aMax = ~(Addr)0;
1006 all = aMin == (Addr)0 && aMax == ~(Addr)0;
1009 add_var_to_arange( /*MOD*/scope, aMin, aMax, &var );
1035 vg_assert(range->aMax == ~(Addr)0);
1050 vg_assert(rangep->aMax == ~(Addr)0);
1054 vg_assert(range->aMin <= range->aMax);
1061 vg_assert(rangep->aMax + 1 == range->aMin);
1079 vg_assert(range->aMax == ~(Addr)0);
