<p dir="ltr"><br>
On Jun 3, 2015 7:00 AM, "Manuel Klimek" <<a href="mailto:klimek@google.com">klimek@google.com</a>> wrote:<br>
><br>
> On Wed, Jun 3, 2015 at 1:47 PM Nathan Wilson <<a href="mailto:nwilson20@gmail.com">nwilson20@gmail.com</a>> wrote:<br>
>><br>
>><br>
>> On Jun 3, 2015 4:23 AM, "Manuel Klimek" <<a href="mailto:klimek@google.com">klimek@google.com</a>> wrote:<br>
>> ><br>
>> > On Tue, Jun 2, 2015 at 9:25 PM Nate Wilson <<a href="mailto:nwilson20@gmail.com">nwilson20@gmail.com</a>> wrote:<br>
>> >><br>
>> >> Hi,<br>
>> >><br>
>> >> Is there any way to get information about where a diagnostic came from in clang, e.g. the source from which the Diagnostic was constructed? For example, when I try to assign to a member which doesn't exist in my class/struct, I get:<br>
>> >><br>
>> >> error: no member named 'foo' in 'Bar'<br>
>> >><br>
>> >> Is there anyway for clang to tell me where this Diagnostic came from?<br>
>> ><br>
>> ><br>
>> > Do you mean where in the Clang source it was generated? <br>
>><br>
>> Yes I do, but i imagine it's not possible. Correct? Sorry for the ambiguity. I'm asking about this because I'd like to see how clang determined what I'm doing is wrong by looking at a backtrace (or something). Not just in this case, but for something a little more complicated in general as well which won't get put into the AST.<br>
><br>
><br>
> Generally, you search for the diagnostic in the clang source code. Diagnostics are in so-called tablegen files. Those will define the diagnostic text and a constant that's used in the code. Once you have that constant, you look for that constant in the clang source code, which then shows you under which circumstances that diagnostic is emitted.</p>
<p dir="ltr">Yeah, I wasn't sure if there was a different way to find them. That makes sense.</p>
<p dir="ltr">>  <br>
>><br>
>> >><br>
>> >> Similarly, when the AST is constructed and I'm able to assign a value to foo, is there anyway for me to get the information about where the lookup is correctly found (for a data member in particular)? <br>
>> >><br>
>> >> Or, do would I need to do some libAST tooling, get called back when a match is found, and debug from there?<br>
>> ><br>
>> ><br>
>> > Depends on what you want to do - can you expand on what you are trying to build?<br>
>> >  <br>
>><br>
>> Sure, in this case there's a bug/feature request which I'd like work on by looking at data members when they're being assigned to in a BinaryOp, and if the syntax is not this->... = ..., emit a warning.<br>
><br>
><br>
> I'd personally think this should be a clang-tidy warning, not a compiler warning (as it seems purely stylistic).<br>
> Clang-tidy warnings are generally easier to write and a good way to get into clang's AST without needing to understand the compiler; if a warning is shipped in clang-tidy and found more broadly useful / catching real bugs, we can make it a real compiler warnings.<br>
><br>
> <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__clang.llvm.org_extra_clang-2Dtidy.html&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=CnzuN65ENJ1H9py9XLiRvC_UQz6u3oG6GUNn7_wosSM&m=6ZAS3caZSHVdjYo1KeGseMk0WW79hk9jnj34K7Dhm0I&s=nX_pYuVGim_d1u4Q6rs-cdRVv0J_BC0TyVKn0UdG5Pc&e=">http://clang.llvm.org/extra/clang-tidy.html</a><br>
> has a section on how to write clang-tidy checks</p>
<p dir="ltr">Okay, thanks. I'll take a look and try to get in there. I don't recall the bugzilla number off hand, but it was from a long time ago, maybe before tidy existed...</p>
<p dir="ltr">>><br>
>> That's the source of my question. But, something else off the top off my head would be to see the valid use of a dependent type being looked up and used.<br>
>><br>
>> Does that help?<br>
>><br>
>> >><br>
>> >> I'd appreciate any help.<br>
>> >><br>
>> >> Thank you,<br>
>> >><br>
>> >> Nate<br>
>> >><br>
>> >><br>
</p>