The current code says: next_line_no = line_no + page_incr; if (next_line_no < line_no) die (EXIT_FAILURE, 0, _("line number overflow"));
Since intmax_t is a regular integer type, overflow invokes undefined behavior and must therefore be checked using other means.