--- openbsd-ref/sys/kern/kern_time.c	Sun Dec 16 18:40:57 2012
+++ openbsd-ref/sys/kern/kern_time.c.new	Thu Jul 25 14:43:31 2013
@@ -737,7 +737,7 @@
 
 #if 1 /*DIAGNOSTIC?*/
 	/* be careful about wrap-around */
-	if (*curpps + 1 > *curpps)
+	if (*curpps < INT_MAX)
 		*curpps = *curpps + 1;
 #else
 	/*