<div dir="ltr">Hi,<div><br></div><div>We do:</div><div><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_convert.cpp#L2579">https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_convert.cpp#L2579</a><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_convert.cpp#L2601">https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_convert.cpp#L2601</a><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_convert.cpp#L2612">https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_convert.cpp#L2612</a><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2018-01-18 18:34 GMT+00:00 David Come via cfe-dev <span dir="ltr"><<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <p><a class="m_1385563204851164930moz-txt-link-freetext" href="https://stackoverflow.com/questions/11083066/getting-the-source-behind-clangs-ast" target="_blank">https://stackoverflow.com/<wbr>questions/11083066/getting-<wbr>the-source-behind-clangs-ast</a><br>
    </p><div><div class="h5">
    <br>
    <div class="m_1385563204851164930moz-cite-prefix">On 09/01/2018 19:49, Andrew Gozillon
      via cfe-dev wrote:<br>
    </div>
    </div></div><blockquote type="cite"><div><div class="h5">
      
      
      <div id="m_1385563204851164930divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif" dir="ltr">
        <p style="margin-top:0;margin-bottom:0">Hi,</p>
        <p style="margin-top:0;margin-bottom:0"><br>
        </p>
        <p style="margin-top:0;margin-bottom:0">I was wondering if there
          was an easy way to retrieve the source information for Type's
          and Decl's from inside a Clang LibTool? I'm aware that some
          Type's and Decl's contain the relevant source information,
          although that doesn't appear to be the case for everything. I
          am also aware that you can use VisitTypeLoc to parse specific
          type locations.
          <br>
        </p>
        <p style="margin-top:0;margin-bottom:0"><br>
        </p>
        <p style="margin-top:0;margin-bottom:0">However, I was wondering
          if there is an easier way to do this. For example passing a
          Type or Decl to a function (when visiting its node) to
          retrieve the relevant source location attached to it?</p>
        <p style="margin-top:0;margin-bottom:0"><br>
        </p>
        <p style="margin-top:0;margin-bottom:0">Thank you for your time.
          <br>
        </p>
        <p style="margin-top:0;margin-bottom:0"><br>
        </p>
        <p style="margin-top:0;margin-bottom:0">Best Regards,</p>
        <p style="margin-top:0;margin-bottom:0">Andrew Gozillon<br>
        </p>
        <p style="margin-top:0;margin-bottom:0"><br>
        </p>
      </div>
      <br>
      <fieldset class="m_1385563204851164930mimeAttachmentHeader"></fieldset>
      <br>
      </div></div><pre>______________________________<wbr>_________________
cfe-dev mailing list
<a class="m_1385563204851164930moz-txt-link-abbreviated" href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>
<a class="m_1385563204851164930moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a>
</pre>
    </blockquote>
    <br>
  </div>

<br>______________________________<wbr>_________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><br></div><div>Mikhail Ramalho.</div></div></div>
</div>