[Bug c++/57132] spurious warning: division by zero [-Wdiv-by-zero] in if (m) res %=m;

2014-02-26 Thread jason at gcc dot gnu.org 
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57132

--- Comment #4 from Jason Merrill jason at gcc dot gnu.org ---
Author: jason
Date: Wed Feb 26 21:28:08 2014
New Revision: 208183

URL: http://gcc.gnu.org/viewcvs?rev=208183root=gccview=rev
Log:
PR c++/59231
PR c++/11586
PR c++/14710
PR c++/57132
gcc/
* c-common.c (shorten_compare): Don't check
c_inhibit_evaluation_warnings.
gcc/cp/
* pt.c (struct warning_sentinel): New.
(tsubst_copy_and_build): Use it instead of
c_inhibit_evaluation_warnings.

Added:
trunk/gcc/testsuite/g++.dg/warn/Wsign-compare-7.C
Modified:
trunk/gcc/c-family/ChangeLog
trunk/gcc/c-family/c-common.c
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
trunk/gcc/cp/typeck.c
trunk/gcc/testsuite/g++.dg/cilk-plus/AN/array_test2_tplt.cc
trunk/gcc/testsuite/g++.dg/cpp0x/overflow1.C

[Bug c++/57132] spurious warning: division by zero [-Wdiv-by-zero] in if (m) res %=m;

2013-05-01 Thread paolo.carlini at oracle dot com 


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



Paolo Carlini paolo.carlini at oracle dot com changed:



   What|Removed |Added



 Status|UNCONFIRMED |ASSIGNED

   Last reconfirmed||2013-05-01

 AssignedTo|unassigned at gcc dot   |paolo.carlini at oracle dot

   |gnu.org |com

   Target Milestone|--- |4.9.0

 Ever Confirmed|0   |1



--- Comment #1 from Paolo Carlini paolo.carlini at oracle dot com 2013-05-01 
09:53:58 UTC ---

Can be fixed like PR11586, a straightforward patchlet.

[Bug c++/57132] spurious warning: division by zero [-Wdiv-by-zero] in if (m) res %=m;

2013-05-01 Thread paolo.carlini at oracle dot com 


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



--- Comment #2 from Paolo Carlini paolo.carlini at oracle dot com 2013-05-01 
09:55:23 UTC ---

I meant PR11856, of course ;)

[Bug c++/57132] spurious warning: division by zero [-Wdiv-by-zero] in if (m) res %=m;

2013-05-01 Thread paolo.carlini at oracle dot com 


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



Paolo Carlini paolo.carlini at oracle dot com changed:



   What|Removed |Added



 Status|ASSIGNED|RESOLVED

 Resolution||FIXED



--- Comment #3 from Paolo Carlini paolo.carlini at oracle dot com 2013-05-01 
19:20:24 UTC ---

Fixed for 4.9.0.