CVS head (gcc-3.4), new warning for 'no return in templates'

[Gabriel Dos Reis]

Andrew Pollard <andrewp@andypo.net> writes:

[...]

| But, in this case, couldn't the compiler figure out that 'result_type'
| is in fact 'void' anyway, and not warn?

No, it can't until instantiation time. 

 Probably, the non-return detection machinery should be changed to
defer warning when it can't determine for sure what the return type is.

-- Gaby