1/* PR optimization/13260 */
2
3#include <string.h>
4
5typedef unsigned long u32;
6
7u32 in_aton(const char* x)
8{
9  return 0x0a0b0c0d;
10}
11
12u32 root_nfs_parse_addr(char *name)
13{
14 u32 addr;
15 int octets = 0;
16 char *cp, *cq;
17
18 cp = cq = name;
19 while (octets < 4) {
20  while (*cp >= '0' && *cp <= '9')
21   cp++;
22  if (cp == cq || cp - cq > 3)
23   break;
24  if (*cp == '.' || octets == 3)
25   octets++;
26  if (octets < 4)
27   cp++;
28  cq = cp;
29 }
30
31 if (octets == 4 && (*cp == ':' || *cp == '\0')) {
32  if (*cp == ':')
33   *cp++ = '\0';
34  addr = in_aton(name);
35  strcpy(name, cp);
36 } else
37  addr = (-1);
38
39 return addr;
40}
41
42int
43main()
44{
45  static char addr[] = "10.11.12.13:/hello";
46  u32 result = root_nfs_parse_addr(addr);
47  if (result != 0x0a0b0c0d) { abort(); }
48  return 0;
49}
50