[LLVMbugs] [Bug 20666] New: No AST representation for extern template instantiations

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=20666

            Bug ID: 20666
           Summary: No AST representation for extern template
                    instantiations
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++11
          Assignee: unassignedclangbugs at nondot.org
          Reporter: eliben at gmail.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Explicit (extern) template declarations have no representation in the AST:

  template <typename T>
  int __ostream_insert() {
    return 0;
  }

  extern template int __ostream_insert<char>();

  template<> int __ostream_insert<long>() {
    return 1;
  }

Produces:

    TranslationUnitDecl 0x3763300 <<invalid sloc>> <invalid sloc>
    |-TypedefDecl 0x3763840 <<invalid sloc>> <invalid sloc> implicit __int128_t
'__int128'
    |-TypedefDecl 0x37638a0 <<invalid sloc>> <invalid sloc> implicit
__uint128_t 'unsigned __int128'
    |-TypedefDecl 0x3763c60 <<invalid sloc>> <invalid sloc> implicit
__builtin_va_list '__va_list_tag [1]'
    |-FunctionTemplateDecl 0x3763e50 </tmp/jp.cpp:1:3, line:4:3> line:2:7
__ostream_insert
    | |-TemplateTypeParmDecl 0x3763cb0 <line:1:13, col:22> col:22 typename T
    | |-FunctionDecl 0x3763db0 <line:2:3, line:4:3> line:2:7 __ostream_insert
'int (void)'
    | | `-CompoundStmt 0x3763ed8 <col:26, line:4:3>
    | |   `-ReturnStmt 0x3763eb8 <line:3:5, col:12>
    | |     `-IntegerLiteral 0x3763e98 <col:12> 'int' 0
    | |-FunctionDecl 0x37a4f60 <line:2:3, line:4:3> line:2:7 __ostream_insert
'int (void)'
    | | `-TemplateArgument type 'char'
    | `-Function 0x37a50a0 '__ostream_insert' 'int (void)'
    `-FunctionDecl 0x37a50a0 prev 0x37a51c0 <line:8:3, line:10:3> line:8:18
__ostream_insert 'int (void)'
      |-TemplateArgument type 'long'
      `-CompoundStmt 0x37a5380 <col:43, line:10:3>
        `-ReturnStmt 0x37a5360 <line:9:5, col:12>
          `-IntegerLiteral 0x37a5340 <col:12> 'int' 1

It appears as a child of the FunctionTemplateDecl:

    | |-FunctionDecl 0x37a4f60 <line:2:3, line:4:3> line:2:7 __ostream_insert
'int (void)'
    | | `-TemplateArgument type 'char'

But the source location is incorrect (points to the parent template, not the
extern instantiation.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140814/8c7d1dca/attachment.html>