[PATCH] Fix forwprop pattern (T)(P + A) - (T)P - (T)A, Part 2

Hi, this is part 2 of my patch, which uses the undefined behaviour, and emits a strict overflow warning. This fixes gnat.dg/opt37.adb again. The diff is relative to part 1: https://gcc.gnu.org/ml/gcc-patches/2014-06/msg01891.html Boot-strapped and regression-tested on x86_64-linux-gnu. OK

Re: [PATCH] Fix forwprop pattern (T)(P + A) - (T)P - (T)A, Part 2

On Wed, Jun 25, 2014 at 11:12 AM, Bernd Edlinger bernd.edlin...@hotmail.de wrote: Hi, this is part 2 of my patch, which uses the undefined behaviour, and emits a strict overflow warning. This fixes gnat.dg/opt37.adb again. The diff is relative to part 1: