Re: [patch] Fix wrong code with boolean negation

2013-02-01 Thread Richard Biener
On Mon, Jan 21, 2013 at 9:41 AM, Eric Botcazou wrote: > Hi, > > this is a regression present in the Ada compiler since 4.5: the issue had been > latent for ages, but an unrelated streamlining of the IR made it appear. > > When make_range_step is invoked on: > > (integer)!b < 0 > > where b is a b

[patch] Fix wrong code with boolean negation

2013-01-21 Thread Eric Botcazou
Hi, this is a regression present in the Ada compiler since 4.5: the issue had been latent for ages, but an unrelated streamlining of the IR made it appear. When make_range_step is invoked on: (integer)!b < 0 where b is a boolean, it returns "always true" instead of "always false". The seque