From 5afa5a492be511ef7465f829d2e7ea1df77e4652 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Mon, 13 Oct 2014 17:36:44 +0100
Subject: [PATCH] Use pointeradd to express the condition in mps_commit -- it
 expands to the same code, and better conveys the intention.

Copied from Perforce
 Change: 187242
 ServerID: perforce.ravenbrook.com
---
 mps/code/mpsi.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mps/code/mpsi.c b/mps/code/mpsi.c
index 942bf7a0021..c00da18c201 100644
--- a/mps/code/mpsi.c
+++ b/mps/code/mpsi.c
@@ -928,7 +928,7 @@ mps_bool_t (mps_commit)(mps_ap_t mps_ap, mps_addr_t p, size_t size)
   AVER(p != NULL);
   AVER(size > 0);
   AVER(p == mps_ap->init);
-  AVER((void *)((char *)mps_ap->init + size) == mps_ap->alloc);
+  AVER(PointerAdd(mps_ap->init, size) == mps_ap->alloc);
 
   return mps_commit(mps_ap, p, size);
 }