https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90197
--- Comment #6 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- What's confusing to me is that, as far as I know, GDB pays no attention to is_stmt yet. So I think we should focus on what, if any, changes to the line number program are brought about by enabling or disabling the SFN option. That said, markers at increments and conditions, besides loop headers, is definitely something we should have. I'm more than surprised they aren't there.