[Bug c++/59231] [4.8/4.9 Regression] gcc misses [-Werror=sign-compare] when inside a template

[manu at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59231

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manu at gcc dot gnu.org

--- Comment #4 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #3)
> This has changed in r187542 and from what I can see, the change was
> completely intentional.

Interestingly, the same was done recently in Clang:
http://llvm.org/bugs/show_bug.cgi?id=8682

That commit also killed warnings for non-dependant types within templates:

unsigned int z;
signed int w;

template<class X, class Y>
bool equals( X x, Y y )
{

    return (z == w);
}

(It would be nice to edit the log of that commit to fix the PR number, which
should be 11856).