[Bug c/44420] [feature request] Warn for certain integer overflows

2010-06-07 Thread fm3 at os dot inf dot tu-dresden dot de 


--- Comment #4 from fm3 at os dot inf dot tu-dresden dot de  2010-06-08 
06:19 ---
Yes, you are right. This is a duplicate. Thanks.


-- 

fm3 at os dot inf dot tu-dresden dot de changed:

   What|Removed |Added

 Status|RESOLVED|VERIFIED


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

[Bug c/44420] [feature request] Warn for certain integer overflows

2010-06-07 Thread manu at gcc dot gnu dot org 


--- Comment #3 from manu at gcc dot gnu dot org  2010-06-07 17:53 ---
I think it is a duplicate.

*** This bug has been marked as a duplicate of 42935 ***


-- 

manu at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug c/44420] [feature request] Warn for certain integer overflows

2010-06-07 Thread pinskia at gcc dot gnu dot org 


--- Comment #2 from pinskia at gcc dot gnu dot org  2010-06-07 17:36 ---
(In reply to comment #1)
> uint64_t = uint32_t OP uint32_t;  With an implicit casting to uint64_t?

If that is the case this is a dup of bug 42935.


-- 


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

[Bug c/44420] [feature request] Warn for certain integer overflows

2010-06-07 Thread pinskia at gcc dot gnu dot org 


--- Comment #1 from pinskia at gcc dot gnu dot org  2010-06-07 17:34 ---
>  foo = bar << 20;

Yes this can overflow but so can "bar * 2" and "bar + 1".  Maybe I am missing
something here because we don't warn for those cases.  Do you want a warning
where the assignment happens to be a wider type?  That is:

uint64_t = uint32_t OP uint32_t;  With an implicit casting to uint64_t?


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

   Severity|normal  |enhancement
  Component|middle-end  |c
   Keywords||diagnostic


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