On Tue, Mar 26, 2013 at 03:14:31PM -0700, Roland McGrath wrote:
prologue_end is a quality issue, and in general it's a hard problem. end_sequence is a format correctness issue. They're in different categories.
Yes, agreed in theory, if there were just missing or misplaced prologue_end markers. But in practice GCC doesn't just omit prologue_end markers it has uses a (fragile) way to indicate prologue ends by creating duplicate rows for the same address. Which is a format correctness issue.
Cheers,
Mark