<div dir="ltr">The spec is saying "if only one block, then discriminator=0" but it's not the same logical meaning as "if discriminator==0, then there is only one block." If there are two blocks, could the possible discriminator values be 0 and 1?</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 26, 2017 at 5:30 PM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><br><div class="gmail_quote"><span class=""><div dir="ltr">On Thu, Jan 26, 2017 at 2:09 PM Simon Que via Phabricator <<a href="mailto:reviews@reviews.llvm.org" target="_blank">reviews@reviews.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">sque added inline comments.<br class="m_-1999535714428788584gmail_msg">
<br class="m_-1999535714428788584gmail_msg">
<br class="m_-1999535714428788584gmail_msg">
================<br class="m_-1999535714428788584gmail_msg">
Comment at: lib/DebugInfo/Symbolize/<wbr>DIPrinter.cpp:85<br class="m_-1999535714428788584gmail_msg">
+    OS << "  Column: " << Info.Column << "\n";<br class="m_-1999535714428788584gmail_msg">
+    OS << "  Discriminator: " << Info.Discriminator << "\n";<br class="m_-1999535714428788584gmail_msg">
+  } else {<br class="m_-1999535714428788584gmail_msg">
----------------<br class="m_-1999535714428788584gmail_msg">
dblaikie wrote:<br class="m_-1999535714428788584gmail_msg">
> sque wrote:<br class="m_-1999535714428788584gmail_msg">
> > Should this be marked as DWARF-only, or placed in a DWARF-only section?<br class="m_-1999535714428788584gmail_msg">
> I'm /guessing/ (though you can probably reproduce this by running -verbose on a checked in COFF/CodeView file - I assume/imagine we have some of those in the dumper testing) that the Discriminator is 0 when not provided?<br class="m_-1999535714428788584gmail_msg">
><br class="m_-1999535714428788584gmail_msg">
> Perhaps it'd be easy enough to not print it when it's zero? If that works/you can confirm CodeView is doing what I assume it is - add a test? (for either CV, or a case a zero or not present discriminator in ELF).<br class="m_-1999535714428788584gmail_msg">
I am not familiar with possible values of the discriminator. Does discriminator == 0 mean it's invalid? Could it have a valid value of 0?<br class="m_-1999535714428788584gmail_msg"></blockquote></span><div><br>I'm not 100% sure either - just looked it up in the DWARF4 spec and it says "Where only one
block exists for a given source position, the discriminator value should be
zero. " - so, yes, seems it's default value of zero is the same as not-present, basically.<br><br>So, yes, happy to not print it if it's zero to make it more terse in general and avoid confusion when dumping on platforms that don't have a discriminator at all.<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br class="m_-1999535714428788584gmail_msg">
<br class="m_-1999535714428788584gmail_msg">
<a href="https://reviews.llvm.org/D29094" rel="noreferrer" class="m_-1999535714428788584gmail_msg" target="_blank">https://reviews.llvm.org/<wbr>D29094</a><br class="m_-1999535714428788584gmail_msg">
<br class="m_-1999535714428788584gmail_msg">
<br class="m_-1999535714428788584gmail_msg">
<br class="m_-1999535714428788584gmail_msg">
</blockquote></div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Simon Que<div>Software Engineer</div></div></div>
</div>