diff -up iputils-s20100418/ping.c.dos iputils-s20100418/ping.c
--- iputils-s20100418/ping.c.dos	2010-07-13 08:53:29.356694202 +0200
+++ iputils-s20100418/ping.c	2010-07-13 08:53:55.350694373 +0200
@@ -1083,7 +1083,7 @@ void pr_options(unsigned char * cp, int 
 				i = j;
 			i -= IPOPT_MINOFF;
 			if (i <= 0)
-				continue;
+				break;
 			if (i == old_rrlen
 			    && !strncmp((char *)cp, old_rr, i)
 			    && !(options & F_FLOOD)) {
@@ -1120,7 +1120,7 @@ void pr_options(unsigned char * cp, int 
 				i = j;
 			i -= 5;
 			if (i <= 0)
-				continue;
+				break;
 			flags = *++cp;
 			printf("\nTS: ");
 			cp++;