| 1899 | } |
| 1900 | |
| 1901 | static void parse_mark(void) |
| 1902 | { |
| 1903 | const char *v; |
| 1904 | if (skip_prefix(command_buf.buf, "mark :", &v)) { |
| 1905 | next_mark = strtoumax(v, NULL, 10); |
| 1906 | read_next_command(); |
| 1907 | } |
| 1908 | else |
| 1909 | next_mark = 0; |
| 1910 | } |
| 1911 | |
| 1912 | static void parse_original_identifier(void) |
| 1913 | { |
no test coverage detected