[cfe-dev] Matching function argument that may not be valid

[Manuel Klimek]

Ok, this only works on valid code. If you have errors, all bets are off.

On Thu, Apr 23, 2015 at 7:23 PM Daniel Dilts <diltsman at gmail.com> wrote:

>
>
> On Fri, Apr 17, 2015 at 5:19 PM, Manuel Klimek <klimek at google.com> wrote:
>
>>
>>
>> On Thu, Apr 16, 2015 at 5:45 PM Daniel Dilts <diltsman at gmail.com> wrote:
>>
>>> I am attempting to write a tool that will generate a table from tokens
>>> pulled from source code.
>>>
>>> I have a static template function in a template class.  I want to find
>>> the first argument for all calls to the template function.
>>>
>>> The problem is that the token may or may not be defined, since they will
>>> be defined in a generated table.
>>>
>>> If I use dump-ast it appears that the function call is omitted from the
>>> AST, so I don't think that I can use AST matchers to find it.
>>>
>>
>> I somehow can't believe that - all calls are in the AST.
>>
>
>
> Here is my example, using "clang version 3.7.0 (trunk 235602)".  Note that
> the call to Func is not present in the AST.
>
> enum MyEnum
> {
> };
> void Func(MyEnum v);
> int main()
> {
>  Func(SomeEnumValue);
>  return 0;
> }
>
>
>
>
> clang.exe -Xclang -ast-dump test.cpp
> test.cpp:7:7: error: use of undeclared identifier 'SomeEnumValue'
>         Func(SomeEnumValue);
>              ^
> TranslationUnitDecl 0x836140 <<invalid sloc>> <invalid sloc>
> |-CXXRecordDecl 0x836400 <<invalid sloc>> <invalid sloc> implicit class
> type_inf
> o
> | `-TypeVisibilityAttr 0x836470 <<invalid sloc>> Implicit Default
> |-TypedefDecl 0x8364b0 <<invalid sloc>> <invalid sloc> implicit size_t
> 'unsigned
>  int'
> |-TypedefDecl 0x836508 <<invalid sloc>> <invalid sloc> implicit
> __builtin_va_lis
> t 'char *'
> |-EnumDecl 0x836538 <test.cpp:1:1, line:3:1> line:1:6 referenced MyEnum
> 'int'
> |-FunctionDecl 0x836630 <line:4:1, col:19> col:6 Func 'void (enum MyEnum)'
> | `-ParmVarDecl 0x8365b8 <col:11, col:18> col:18 v 'enum MyEnum'
> `-FunctionDecl 0x836718 <line:5:1, line:9:1> line:5:5 main 'int (void)'
>   `-CompoundStmt 0x836880 <line:6:1, line:9:1>
>     `-ReturnStmt 0x836870 <line:8:2, col:9>
>       `-IntegerLiteral 0x836850 <col:9> 'int' 01 error generated.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150423/62e9fffa/attachment.html>