583                           char *end,  in print_number()  argument
591                           char *end,  in print_number()
668             if (buf <= end)  in print_number()
676         if (buf <= end)  in print_number()
689             if (buf <= end)  in print_number()
695             if (buf <= end)  in print_number()
698             if (buf <= end)  in print_number()
712             if (buf <= end)  in print_number()
721         if (buf <= end)  in print_number()
730         if (buf <= end)  in print_number()
737         if (buf <= end)  in print_number()
756     char *str, *end, c;  in rt_vsnprintf()  local
769     end = buf + size - 1;  in rt_vsnprintf()
771     /* Make sure end is always >= buf */  in rt_vsnprintf()
772     if (end < buf)  in rt_vsnprintf()
774         end  = ((char *) - 1);  in rt_vsnprintf()
775         size = end - buf;  in rt_vsnprintf()
782             if (str <= end)  in rt_vsnprintf()
863                     if (str <= end) *str = ' ';  in rt_vsnprintf()
870             if (str <= end) *str = c;  in rt_vsnprintf()
876                 if (str <= end) *str = ' ';  in rt_vsnprintf()
894                     if (str <= end) *str = ' ';  in rt_vsnprintf()
901                 if (str <= end) *str = *s;  in rt_vsnprintf()
908                 if (str <= end) *str = ' ';  in rt_vsnprintf()
920             str = print_number(str, end,  in rt_vsnprintf()
924             str = print_number(str, end,  in rt_vsnprintf()
931             if (str <= end) *str = '%';  in rt_vsnprintf()
953             if (str <= end) *str = '%';  in rt_vsnprintf()
958                 if (str <= end) *str = *fmt;  in rt_vsnprintf()
989         str = print_number(str, end, num, base, field_width, precision, flags);  in rt_vsnprintf()
991         str = print_number(str, end, num, base, field_width, flags);  in rt_vsnprintf()
995     if (str <= end) *str = '\0';  in rt_vsnprintf()
996     else *end = '\0';  in rt_vsnprintf()