https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65536
--- Comment #41 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #37) > But now that I think about it. If linemap_star_line returns UNKNOWN_LOCATION > because set->highest_location > 0x70000000, but then you call > linemap_position_for_column and set->highest_location < 0xC0000000, then > linemap_line_start will return 0 again, thus linemap_position_for_column > will return 0 + to_column and that would be bad. Can you follow me? Do you > also see a potential bug there? Ignore the above, I just noticed that linemap_position_for_column tests for 0xC000000 not for 0xC0000000, thus the above cannot happen.