<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Tue, Sep 12, 2017 at 4:13 PM Adrian Prantl via Phabricator <<a href="mailto:reviews@reviews.llvm.org">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">aprantl added a comment.<br>
<br>
Okay, I'll implement a "don't print anything if the section doesn't exist" approach, since that seems to align best with what everybody desires. Printing an empty "contents" only if the section was explicitly required is trickier to implement, so I'll leave this for a future improvement.<br></blockquote><div><br>I probably-acceptable easy fix would be "if not all sections were requested, print section headers even for empty sections" behavior might suffice. If someone manually specifies each/every section and then finds this weird... yeah, it could be fixed, but hardly seems too important. Doesn't phase me, though.<br><br>*shrug*<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<br>
<a href="https://reviews.llvm.org/D37771" rel="noreferrer" target="_blank">https://reviews.llvm.org/D37771</a><br>
<br>
<br>
<br>
</blockquote></div></div>