[Bug rtl-optimization/66940] ifcvt.c:1907 signed integer overflow

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66940

Andrew Pinski  changed:

   What|Removed |Added

   Target Milestone|--- |7.0

[Bug rtl-optimization/66940] ifcvt.c:1907 signed integer overflow

[zeccav at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66940

--- Comment #5 from Vittorio Zecca  ---
Fixed in trunk 246751.

[Bug rtl-optimization/66940] ifcvt.c:1907 signed integer overflow

[zeccav at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66940

Vittorio Zecca  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Vittorio Zecca  ---
Fixed in trunk 246751.

[Bug rtl-optimization/66940] ifcvt.c:1907 signed integer overflow

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66940

--- Comment #3 from ktkachov at gcc dot gnu.org ---
Author: ktkachov
Date: Wed May 25 15:53:21 2016
New Revision: 236728

URL: https://gcc.gnu.org/viewcvs?rev=236728&root=gcc&view=rev
Log:
[RTL ifcvt] PR rtl-optimization/66940: Avoid signed overflow in
noce_get_alt_condition

PR rtl-optimization/66940
* ifcvt.c (noce_get_alt_condition): Check that incrementing or
decrementing desired_val will not overflow before performing these
operations.

* gcc.c-torture/execute/pr66940.c: New test.


Added:
trunk/gcc/testsuite/gcc.c-torture/execute/pr66940.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/ifcvt.c
trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/66940] ifcvt.c:1907 signed integer overflow

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66940

ktkachov at gcc dot gnu.org changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Last reconfirmed|2016-05-08 00:00:00 |2016-5-9
 CC||ktkachov at gcc dot gnu.org
   Assignee|unassigned at gcc dot gnu.org  |ktkachov at gcc dot 
gnu.org

--- Comment #2 from ktkachov at gcc dot gnu.org ---
Confirmed also on current trunk by adding:
gcc_assert (desired_val != HOST_WIDE_INT_MAX);
before the:
  if (actual_val == desired_val + 1)

check

[Bug rtl-optimization/66940] ifcvt.c:1907 signed integer overflow

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66940

Dominique d'Humieres  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-05-08
 Ever confirmed|0   |1

--- Comment #1 from Dominique d'Humieres  ---
Confirmed on trunk (7.0) also.