commit 3a32fb2eaa761aac13ffe5424748d5839038ef66
author David Malcolm <dmalcolm@redhat.com> Tue Nov 29 19:56:27 2022 -0500
committer David Malcolm <dmalcolm@redhat.com> Tue Nov 29 19:56:27 2022 -0500
tree e5df88b6099b404c5fdd1c1d99f065ab976cafc7
parent 000e9863120cbc75a0f8d497264519974c97669f

analyzer: fix folding of '(PTR + 0) => PTR' [PR105784]

gcc/analyzer/ChangeLog:
	PR analyzer/105784
	* region-model-manager.cc
	(region_model_manager::maybe_fold_binop): For POINTER_PLUS_EXPR,
	PLUS_EXPR and MINUS_EXPR, eliminate requirement that the final
	type matches that of arg0 in favor of a cast.

gcc/testsuite/ChangeLog:
	PR analyzer/105784
	* gcc.dg/analyzer/torture/fold-ptr-arith-pr105784.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>