mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-01-16 08:10:43 -08:00
Remove int check
Copied from Perforce Change: 21646 ServerID: perforce.ravenbrook.com
This commit is contained in:
parent
1f7c2204be
commit
fa27dc305d
1 changed files with 2 additions and 3 deletions
|
|
@ -1,6 +1,6 @@
|
|||
/* impl.c.vmli: VIRTUAL MEMORY MAPPING FOR LINUX
|
||||
*
|
||||
* $HopeName: MMsrc!vmli.c(trunk.6) $
|
||||
* $HopeName: MMsrc!vmli.c(trunk.7) $
|
||||
* Copyright (C) 2000 Harlequin Limited. All rights reserved.
|
||||
*
|
||||
* .purpose: This is the implementation of the virtual memory mapping
|
||||
|
|
@ -55,7 +55,7 @@
|
|||
#error "vmli.c is LINUX specific, but MPS_OS_LI is not set"
|
||||
#endif
|
||||
|
||||
SRCID(vmli, "$HopeName$");
|
||||
SRCID(vmli, "$HopeName: MMsrc!vmli.c(trunk.7) $");
|
||||
|
||||
|
||||
/* VMStruct -- virtual memory structure */
|
||||
|
|
@ -242,7 +242,6 @@ Res VMMap(VM vm, Addr base, Addr limit)
|
|||
AVER(base < limit);
|
||||
AVER(base >= vm->base);
|
||||
AVER(limit <= vm->limit);
|
||||
AVER(AddrOffset(base, limit) <= INT_MAX);
|
||||
AVER(AddrIsAligned(base, vm->align));
|
||||
AVER(AddrIsAligned(limit, vm->align));
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue