493   char *portptr = NULL;  in Curl_parse_port()  local
504       portptr = &hostname[len];  in Curl_parse_port()
510         portptr = &hostname[--zonelen + len + 1];  in Curl_parse_port()
519     if(portptr && *portptr) {  in Curl_parse_port()
520       if(*portptr != ':')  in Curl_parse_port()
524       portptr = NULL;  in Curl_parse_port()
527     portptr = strchr(hostname, ':');  in Curl_parse_port()
529   if(portptr) {  in Curl_parse_port()
537     if(!portptr[1]) {  in Curl_parse_port()
538       *portptr = '\0';  in Curl_parse_port()
542     if(!ISDIGIT(portptr[1]))  in Curl_parse_port()
545     port = strtol(portptr + 1, &rest, 10);  /* Port number must be decimal */  in Curl_parse_port()
555     *portptr++ = '\0'; /* cut off the name there */  in Curl_parse_port()