diff options
| author | Richard Kistruck | 2005-09-30 10:50:48 +0100 |
|---|---|---|
| committer | Richard Kistruck | 2005-09-30 10:50:48 +0100 |
| commit | 09cf54c1224f1a23bcd481a50d993d693005e40a (patch) | |
| tree | 0471686f9c6e41f45e8c016004c8eb3fa99d920b /mps/code/mpm.c | |
| parent | f73aa6634c9099e6a2973be0939c5b9d95c5a637 (diff) | |
| download | emacs-09cf54c1224f1a23bcd481a50d993d693005e40a.tar.gz emacs-09cf54c1224f1a23bcd481a50d993d693005e40a.zip | |
Split-asserts: where an aver or checkl has two failure modes combined
with &&, split it into two AVERs or CHECKLs.
Copied from Perforce
Change: 155170
ServerID: perforce.ravenbrook.com
Diffstat (limited to 'mps/code/mpm.c')
| -rw-r--r-- | mps/code/mpm.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mps/code/mpm.c b/mps/code/mpm.c index 8ffee3c808e..0930be4c6d3 100644 --- a/mps/code/mpm.c +++ b/mps/code/mpm.c | |||
| @@ -234,7 +234,8 @@ static Res WriteWord(mps_lib_FILE *stream, Word w, unsigned base, | |||
| 234 | int r; | 234 | int r; |
| 235 | 235 | ||
| 236 | AVER(stream != NULL); | 236 | AVER(stream != NULL); |
| 237 | AVER(2 <= base && base <= 16); | 237 | AVER(2 <= base); |
| 238 | AVER(base <= 16); | ||
| 238 | AVER(width <= MPS_WORD_WIDTH); | 239 | AVER(width <= MPS_WORD_WIDTH); |
| 239 | 240 | ||
| 240 | /* Add digits to the buffer starting at the right-hand end, so that */ | 241 | /* Add digits to the buffer starting at the right-hand end, so that */ |