diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bfd2d42e287..07aad188611 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -359,6 +359,35 @@
 	(math_opts_dom_walker::after_dom_children): Try match saturation
 	arith when IOR expr.
 
+2024-05-16  Aldy Hernandez  <aldyh@redhat.com>
+
+	Revert:
+	2024-05-10  Aldy Hernandez  <aldyh@redhat.com>
+
+	Revert:
+	2024-05-08  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gimple-range-cache.cc (sbr_sparse_bitmap::sbr_sparse_bitmap):
+	Change irange to prange.
+	* gimple-range-fold.cc (fold_using_range::fold_stmt): Same.
+	(fold_using_range::range_of_address): Same.
+	* gimple-range-fold.h (range_of_address): Same.
+	* gimple-range-infer.cc (gimple_infer_range::add_nonzero): Same.
+	* gimple-range-op.cc (class cfn_strlen): Same.
+	* gimple-range-path.cc
+	(path_range_query::adjust_for_non_null_uses): Same.
+	* gimple-ssa-warn-access.cc (pass_waccess::check_pointer_uses): Same.
+	* tree-ssa-structalias.cc (find_what_p_points_to): Same.
+	* range-op-ptr.cc (range_op_table::initialize_pointer_ops): Remove
+	hybrid entries in table.
+	* range-op.cc (range_op_table::range_op_table): Add pointer
+	entries for bitwise and/or and min/max.
+	* value-range.cc (irange::verify_range): Add assert.
+	* value-range.h (irange::varying_compatible_p): Remove check for
+	error_mark_node.
+	(irange::supports_p): Remove pointer support.
+	* ipa-cp.h (ipa_supports_p): Add prange support.
+
 2024-05-16  Aldy Hernandez  <aldyh@redhat.com>
 
 	PR tree-optimization/114985