From 1c0ecf06c0c9f3268ba52d4027e9b78aae4acb51 Mon Sep 17 00:00:00 2001 From: Andrew MacLeod Date: Mon, 28 Oct 2024 09:47:03 -0400 Subject: [PATCH] Fix bitwise_or logic for prange. Set non-zero only if at least one of the two operands does not contain zero. * range-op-ptr.cc (operator_bitwise_or::fold_range): Fix logic for setting nonzero. --- gcc/range-op-ptr.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/range-op-ptr.cc b/gcc/range-op-ptr.cc index 9f500c52d2c..ccce05035b9 100644 --- a/gcc/range-op-ptr.cc +++ b/gcc/range-op-ptr.cc @@ -388,7 +388,7 @@ operator_bitwise_or::fold_range (prange &r, tree type, { // For pointer types, we are really only interested in asserting // whether the expression evaluates to non-NULL. - if (!op1.zero_p () || !op2.zero_p ()) + if (!range_includes_zero_p (op1) || !range_includes_zero_p (op2)) r.set_nonzero (type); else if (op1.zero_p () && op2.zero_p ()) r.set_zero (type);