This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: -Wextra and unsigned template parameters
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Aliesha Finkel <agfinkel at yahoo dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: 10 May 2006 13:38:29 +0200
- Subject: Re: -Wextra and unsigned template parameters
- References: <20060510023919.41275.qmail@web38114.mail.mud.yahoo.com>
Aliesha Finkel <agfinkel@yahoo.com> writes:
| Hi, I'm using -Wextra (-W) to compile my code, one
| feature of which is throwing a warning when an
| unsigned type is checked for >= 0 since it's always
| true. In general I find this to be very helpful, but
| it throws this error even for templated types. A code
| example is included below. Does anyone know how best
| to supress this warning without resorting to removing
| the condition or turning off -Wextra? Thank you in
| advance.
|
| template <typename T>
| struct foo {
| foo(T bar) { if (bar >= 0) bar = 1; }
| };
|
| If foo<signed type> is instantiated elsewhere then
| this check could still be useful.
This is an issue as well for gcjx -- it can be annoying.
-- Gaby