[PATCH] PR15291: noreturn adjustment in overload resolution for function templates

[John McCall]

On Feb 25, 2013, at 8:34 AM, Alexander Zinenko <ftynse at gmail.com> wrote:
> This patch allows function templates with GNU noreturn attribute to participate in overload resolution as non-noreturn ones.  Same behavior is allowed for functions now.
> The patch only allows deducing such types since the necessary adjustments are already performed in corresponding functions (like in IsStandardConversion).

This function does a lot of work to make sure that the final equality comparison is a (fast) pointer equality test, and you're replacing it with a (slow) function call.

Also, we definitely don't want to allow noreturn mismatches in every context.

John.