<div dir="ltr">On Wed, Aug 21, 2013 at 2:53 PM, Richard Smith <span dir="ltr"><<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I think isPresumedFromMainFile should be the more common choice, so maybe should have the more obvious name. Perhaps call the new mechanism isFromMainFile and rename the existing mechanism to isWrittenInMainFile? I'm still not overjoyed with those names.<div>

<br></div><div>FWIW, all calls of isFromMainFile in lib/StaticAnalyzer look like they should be using the new mechanism, for consistency when handling preprocessed source. [That only leaves the calls in lib/Rewrite and VerifyDiagnosticConsumer (both of which should stay as-is), and the one caller of isInPrimaryFile that you didn't change (which seems reasonable to switch over, assuming the #include_next implementation can cope with presumed locations).]<br>

<div></div></div></div></blockquote></div><br></div><div class="gmail_extra">#include_next can't use presumed locations: evaluating it requires keeping track of state (specifically, which search directory the file was found in) which isn't recorded in line marker directives.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">The other feedback makes sense; thanks.</div><div class="gmail_extra"><br></div><div class="gmail_extra">-Eli</div></div>