The previous patches tried to deduce the correct function type. I now
don't think that is possible in general. Consider

class foo {
    template <typename T> static void bar(T v);
};
extern template void foo::bar(const void *);

We will only now that bar is static after a lookup, so it looks like
we have to handle this in the template instantiation code. This also
makes me suspicious of the previous users of FreeFunction always being
correct.

The attached patch reverts my previous two (but not the tests) and
instead handles the issue in DeduceTemplateArguments.

Cheers,
Rafael

Attachment: t.patch
Description: Binary data

_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to