This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: PING: [PATCH] Implement warning for wrong use of ||/&&


On 19/02/07, Dirk Mueller <dmueller@suse.de> wrote:
On Monday, 19. February 2007 17:11, Manuel López-Ibáñez wrote:

> Actually, I was planning to re-add -Walways-true for "always true due
> to range of datatype", since that is the current description of
> -Walways-true

Hmm. what about "comparison of unsigned < 0 is always false" ? That alone is
imho a reason why -Walways-true is not a good name for it.


I think it still makes sense that -Walways-true warns for things that are always true or always false. For example, "comparison of unsigned
0 is always true" and "comparison of unsigned < 0 is always false"
make sense to be together. However, I don't feel very strong about
this. So, if something else is considered a better name, I can
implement that. Let's hear Gabriel's opinion on this.

Cheers,

Manuel.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]