<div dir="ltr">Ping^3.<div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 15, 2013 at 3:08 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"><div dir="ltr"><div>Ping^2.</div><div><div class="h5"><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><div><br>
On Mon, Jul 29, 2013 at 6:33 PM, Eli Friedman <<a href="mailto:eli.friedman@gmail.com" target="_blank">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></div></div>
</blockquote></div><br></div>