| commit | 26265f96389d737bf2e1e4c787ea8943ae499944 | |
| author | Nikodemus Siivola <nikodemus@random-state.net> | |
| Thu, 29 Nov 2007 17:30:11 +0000 (29 17:30 +0000) | ||
| committer | Nikodemus Siivola <nikodemus@random-state.net> | |
| Thu, 29 Nov 2007 17:30:11 +0000 (29 17:30 +0000) | ||
| tree | a2329e8f757932b0f5610b1d234a7a710d0ced44 | treesnapshot (tar.gz zip) |
| parent | 47b7637b3e7c012c6dfa754e107c9bc7d74e73bd | commitdiff |
1.0.12.5: WITH-ARRAY-DATA touchups
* Eliminate some double-bounds checks: since WITH-ARRAY-DATA does
bounds checking, there is no need to vet START and END with
%CHECK-VECTOR-SEQUENCE-BOUNDS.
* Eliminate some fill-pointer confusion: Since WITH-ARRAY-DATA is
used both in contexts where fill-pointer needs to be used, and
in contexts where we only care about the total array size, add
a :CHECK-FILL-POINTER argument to WITH-ARRAY-DATA.
* Do bounds checking in WITH-ARRAY-DATA based on
INSERT-ARRAY-BOUNDS-CHECKS policy -- not SPEED vs. SAFETY
comparison. Adjust tests to check for this.
* Eliminate some double-bounds checks: since WITH-ARRAY-DATA does
bounds checking, there is no need to vet START and END with
%CHECK-VECTOR-SEQUENCE-BOUNDS.
* Eliminate some fill-pointer confusion: Since WITH-ARRAY-DATA is
used both in contexts where fill-pointer needs to be used, and
in contexts where we only care about the total array size, add
a :CHECK-FILL-POINTER argument to WITH-ARRAY-DATA.
* Do bounds checking in WITH-ARRAY-DATA based on
INSERT-ARRAY-BOUNDS-CHECKS policy -- not SPEED vs. SAFETY
comparison. Adjust tests to check for this.
18 files changed: