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
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.