Retrieving SourceLocation's in LibTool

Hi,

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.

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?

Thank you for your time.

Best Regards,

Andrew Gozillon

Hi,

We do:

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#L2601

https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_convert.cpp#L2612