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?


2022-11-25  Eric Botcazou  <ebotcazou@adacore.com>

	* range-op.cc (operator_bitwise_xor::op1_range): Fix thinko.


2022-11-25  Eric Botcazou  <ebotcazou@adacore.com>

	* gnat.dg/opt100.adb: New test.
	* gnat.dg/opt100_pkg.adb, gnat.dg/opt100_pkg.ads: New helper.

-- 
Eric Botcazou