[Bug tree-optimization/108355] [13/14/15 Regression] Dead Code Elimination Regression at -O2 since r13-2772-g9baee6181b4e42

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108355

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2023-11-23 00:00:00         |2025-2-18

--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> ---
Ranger also does not derive ranges from array accesses based on the array
domain.  niter analysis does, indirectly, deriving upper bounds on the
number of loop iterations (but gated by -faggressive-loop-optimizations).

int e[][1] = {0, 0, 0, 0, 0, 1};
int foo (int a)
{
  int res = e[5][a];
  if (a != 0)
    __builtin_abort ();
  return res;
}