https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115951
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |85316
Target Milestone|--- |15.0
Keywords| |build, ice-on-valid-code,
| |needs-reduction
CC| |aldyh at gcc dot gnu.org,
| |amacleod at redhat dot com
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
It might also fail on the GCC 14 branch when checking is enabled since this is
// We sometimes get compatible types copied from operands, make sure
// the correct type is being returned.
if (name && TREE_TYPE (name) != r.type ())
{
gcc_checking_assert (range_compatible_p (r.type (), TREE_TYPE (name)));
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
