commit ff3e6f43c69ff3ef81daedb9fe7e69b9860b0b5a
author Linsen Zhou <i@lin.moe> Fri Oct 17 11:05:04 2025 +0800
committer Siddhesh Poyarekar <siddhesh@gotplt.org> Fri Oct 24 05:08:12 2025 -0500
tree 95e61c87e1e8c6e35dd286b0d407528840f8ead4
parent 653977c4a31643497655600688ff238b734f7512

tree-object-size.cc: Fix assert constant offset in check_for_plus_in_loops [PR122012]

After commit 51b85dfeb19652bf3e0aaec08828ba7cee1e641c, when the
pointer offset is a variable in the loop, the object size of the
pointer may also need to be reexamined.
Which make gcc_assert in the check_for_plus_in_loops failed.

gcc/ChangeLog:

	PR tree-optimization/122012
	* tree-object-size.cc (check_for_plus_in_loops): Skip check
	for the variable offset

gcc/testsuite/ChangeLog:

	PR tree-optimization/122012
	* gcc.dg/torture/pr122012.c: New test.

Signed-off-by: Linsen Zhou <i@lin.moe>
(cherry picked from commit 82cefc4898d4ccabe76e28d6626b91ca9e998923)