If the characters pointed to by STRING constitute a valid number, return a pointer to the start of the number, skipping any blanks or leading '+'. Otherwise, report an error and exit. */
| 136 | return a pointer to the start of the number, skipping any blanks or |
| 137 | leading '+'. Otherwise, report an error and exit. */ |
| 138 | static char const * |
| 139 | find_int (char const *string) |
| 140 | { |
| 141 | char const *p; |
| 142 | char const *number_start; |
| 143 | |
| 144 | for (p = string; isspace (to_uchar (*p)); p++) |
| 145 | continue; |
| 146 | |
| 147 | if (*p == '+') |
| 148 | { |
| 149 | p++; |
| 150 | number_start = p; |
| 151 | } |
| 152 | else |
| 153 | { |
| 154 | number_start = p; |
| 155 | p += (*p == '-'); |
| 156 | } |
| 157 | |
| 158 | if (c_isdigit (*p++)) |
| 159 | { |
| 160 | while (c_isdigit (*p)) |
| 161 | p++; |
| 162 | while (isspace (to_uchar (*p))) |
| 163 | p++; |
| 164 | if (!*p) |
| 165 | return number_start; |
| 166 | } |
| 167 | |
| 168 | test_syntax_error (_("invalid integer %s"), quote (string)); |
| 169 | } |
| 170 | |
| 171 | /* Return the modification time of FILENAME. |
| 172 | If unsuccessful, return an invalid timestamp that is less |
no test coverage detected