Bug 339977

Description Lukas Felber 2011-03-15 02:43:33 EDT

Build Identifier: M20100909-0800

The indexer seems to have problems while resolving template-ids of type X<void()> if the template definition look like this:

template<typename T> class X;
template<typename T> class X<T (void)> { };

the template-id resolves to the first X instead of to the second one.

When changing the template-id to resolve to X<void(void)> or the second definition to "template<typename T> class X<T ()> { };" ("void" removed), the indexer is able to resolve the template-id correctly.
I think that, according to the C++ standard 8.3.5, void(void) and void() should be treated equivalently. is that correct?

Reproducible: Always

Steps to Reproduce:
1. open source file containing:
template<typename T> class X;
template<typename T> class X<T (void)> { };
int main() {
	X<void()> f;
}
2. ctrl+click on the template-id X<void()>. This sets the selection to X on code line 1 instead of X on code line 2.