On Fri, Nov 25, 2022 at 10:22 AM Eric Botcazou via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > Hi, > > there is a thinko in the op1_range method of ranger's operator_bitwise_xor > class in a boolean context: if the result is known to be true, it may infer > than a specific operand is false without any basis. > > Tested on x86-64/Linux, OK for mainline, 12 and 11 branches?
OK. Thanks, Richard. > > 2022-11-25 Eric Botcazou <ebotca...@adacore.com> > > * range-op.cc (operator_bitwise_xor::op1_range): Fix thinko. > > > 2022-11-25 Eric Botcazou <ebotca...@adacore.com> > > * gnat.dg/opt100.adb: New test. > * gnat.dg/opt100_pkg.adb, gnat.dg/opt100_pkg.ads: New helper. > > -- > Eric Botcazou