last = (uintmap_last(map, &last_idx) == v);
}
+ if (!last)
+ return false;
+
+ prev = INT_MAX;
+ for (v = uintmap_last(map, &i); v; v = uintmap_before(map, &i)) {
+ if ((int64_t)i >= prev)
+ return false;
+ if (*v != i)
+ return false;
+ prev = i;
+ last = (uintmap_first(map, &last_idx) == v);
+ }
+
if (!last)
return false;
prev = i;
}
+ if (!last)
+ return false;
+
+ prev = 0x80000001ULL;
+ for (v = sintmap_last(map, &i); v; v = sintmap_before(map, &i)) {
+ if (i >= prev)
+ return false;
+ if (*v != i)
+ return false;
+ prev = i;
+ last = (sintmap_first(map, &last_idx) == v);
+ }
if (!last)
return false;