<div dir="ltr"><div>Ping^2.</div><br><div class="gmail_extra"><div class="gmail_quote">On Fri, Aug 9, 2013 at 9:33 PM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com" target="_blank">eli.friedman@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ping.<br>
<div class="HOEnZb"><div class="h5"><br>
On Mon, Jul 29, 2013 at 6:33 PM, Eli Friedman <<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>> wrote:<br>
> Patch attached.  Basically, the idea is that even if a SourceLocation<br>
> is technically in the main file, we might want to treat it differently<br>
> in the presence of line markers.  I added<br>
> SourceManager::isPresumedFromMainFile to check this.<br>
><br>
> I'm particularly looking for suggestions about the name of the method;<br>
> having isFromMainFile and isPresumedFromMainFile seems very confusing,<br>
> but I don't really have any better ideas.<br>
><br>
> -Eli<br>
</div></div></blockquote></div><br></div></div>