511112 - process_type() not receiving template instantiations

Status: RESOLVED WONTFIX

(Developer Infrastructure :: Source Code Analysis, defect)

Description

[Diego Novillo]

Given

# 1 "test.cc"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "test.cc"


template<typename FOO>
class MyTemplateClass {
  public:
    MyTemplateClass(FOO a) { a_ = a; }
    FOO a() { return a_; }
  private:
    FOO a_;
};
# 20 "test.cc"
template<> class MyTemplateClass<int>;


and the dehydra script:

function process_type(t)
{
  print("Type found: " + t.name + " location: " + t.loc);
}

I would expect to see two types printed, but only the template type is received by 't'.  The specialization is not seen.


Type found: MyTemplateClass<FOO> location: test.cc:4:23

If I add a process_decl() callback, I can access the specialized type via the decl, but I was expecting to see the type in process_type as well.

Bug or feature?

Comment 1

[Benjamin Smedberg]

The template hasn't actually been instantiated, has it? Do you get the process_type call if you then use MyTemplateClass<int> in a function?

Comment 2

[Diego Novillo]

Right, there is no instantiation for the template.  It's just the forward declaration for the class specialization.  We'd still need to intercept it to analyze the arguments.  Doing it in process_type() seemed the more natural place.

If I specialize the template declaring a variable, process_type() will see it, of course.

Comment 3

[Benjamin Smedberg]

Yeah, I don't think GCC gives us the type callback until it is instantiated... either way is fine with me if there's a way to make GCC behave.

Comment 4

[(dormant account)]

Yeah, process_type is basically more or less what gcc gives us. I'll accept a patch for this.

Comment 5

[Joshua Cranmer [:jcranmer]]

Dehydra and treehydra are no longer maintained by Mozilla.