Re: [Dwarf-Discuss] DWARF5 line table file numbering inconsistent

2020-10-15 Thread Mark Wielaard via Dwarf-Discuss
On Thu, Oct 15, 2020 at 05:55:32PM +, Robinson, Paul wrote: > > Both DWARF v4 and v5 say "The value 0 indicates that no source file > > has been specified." I assumed that was deliberate, but maybe it was > > an oversight. But given that both versions say the same I would avoid > > using zero t

Re: [Dwarf-Discuss] DWARF5 line table file numbering inconsistent

2020-10-15 Thread Robinson, Paul via Dwarf-Discuss
> On Thu, Oct 15, 2020 at 04:27:16PM +, Robinson, Paul wrote: > > > Yes. Please do publish the document somewhere. It would be interesting > > > to know exactly what is being said to be inconsistent. As far as I > > > know the issue of the file index defaulting to one and not having a > > > way

Re: [Dwarf-Discuss] DWARF5 line table file numbering inconsistent

2020-10-15 Thread Mark Wielaard via Dwarf-Discuss
On Thu, Oct 15, 2020 at 04:27:16PM +, Robinson, Paul wrote: > > Yes. Please do publish the document somewhere. It would be interesting > > to know exactly what is being said to be inconsistent. As far as I > > know the issue of the file index defaulting to one and not having a > > way to refer

Re: [Dwarf-Discuss] DWARF5 line table file numbering inconsistent

2020-10-15 Thread Robinson, Paul via Dwarf-Discuss
> On Thu, Oct 15, 2020 at 11:46:55AM -0400, Eric Christopher via Dwarf- > Discuss wrote: > > "This margin is too narrow to contain..." ;) > > > > I'd like to see the doc - it's easy to believe we've gotten something > wrong > > here.. Might be good to fix this as textual edits rather than waiting o

Re: [Dwarf-Discuss] DWARF5 line table file numbering inconsistent

2020-10-15 Thread Mark Wielaard via Dwarf-Discuss
Hi, On Thu, Oct 15, 2020 at 11:46:55AM -0400, Eric Christopher via Dwarf-Discuss wrote: > "This margin is too narrow to contain..." ;) > > I'd like to see the doc - it's easy to believe we've gotten something wrong > here.. Might be good to fix this as textual edits rather than waiting on a > fu

Re: [Dwarf-Discuss] DWARF5 line table file numbering inconsistent

2020-10-15 Thread Eric Christopher via Dwarf-Discuss
"This margin is too narrow to contain..." ;) I'd like to see the doc - it's easy to believe we've gotten something wrong here.. Might be good to fix this as textual edits rather than waiting on a full dwarf standard release because we're going to run into this a lot if we can't get it sorted quick

[Dwarf-Discuss] DWARF5 line table file numbering inconsistent

2020-10-15 Thread David Anderson via Dwarf-Discuss
I think the following (while not news) needs to be said simply and directly. It is impossible to obey all the DWARF5 rules on file numbering in the line table at the same time. They contradict each other, taking the standard as a whole. [this consistency issue is solely DWARF5]. A simple solutio