diff --git a/gcc/ggc-common.cc b/gcc/ggc-common.cc
index be4909d262b41c6dcff0fe8eb9dd439716113633..caf456f7244c6d50e5dd46ffcccdd0e3fea29e77 100644
--- a/gcc/ggc-common.cc
+++ b/gcc/ggc-common.cc
@@ -692,7 +692,7 @@ gt_pch_save (FILE *f)
     {
       gcc_assert ((uintptr_t) addr >= (uintptr_t) mmi.preferred_base
 		  && ((uintptr_t) addr + sizeof (void *)
-		      < (uintptr_t) mmi.preferred_base + mmi.size));
+		      <= (uintptr_t) mmi.preferred_base + mmi.size));
       if (addr == last_addr)
 	continue;
       if (last_addr == NULL)