On Fri, Oct 21, 2016 at 10:40 AM, Jakub Jelinek <ja...@redhat.com> wrote: > On Fri, Oct 21, 2016 at 09:58:01AM -0400, Jason Merrill wrote: >> On Thu, Oct 20, 2016 at 2:27 PM, Jakub Jelinek <ja...@redhat.com> wrote: >> > + if ((dwarf_version >= 4 || !dwarf_strict) >> >> Why >=4? Isn't this a DWARF 5 feature? > > It is actually DWARF 4 already.
Ah, so it is, I was looking at an earlier draft. OK. Jason