[Bug tree-optimization/92539] [8/9/10 Regression] -Warray-bounds false positive (loop unroll?)

[law at redhat dot com]

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

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at redhat dot com

--- Comment #2 from Jeffrey A. Law <law at redhat dot com> ---
Am I reading the .einline dump wrong?  It looks to me like early inlining
totally mucked up the saving of the "first" in eat_two when everything gets
inlined into main.  The net result is we advance further through the input
array than we're supposed to.



;;   basic block 5, loop depth 1, maybe hot
;;    prev block 4, next block 6, flags: (NEW, REACHABLE, VISITED)
;;    pred:       3 [11.0% (guessed)]  (TRUE_VALUE,EXECUTABLE)
;;                8 [always]  (FALLTHRU,DFS_BACK,EXECUTABLE)
  # i_7 = PHI <0(3), i_12(8)>
  # local_iterator_8 = PHI <"aa"(3), _11(8)>
  if (i_7 == 3)
    goto <bb 9>; [25.00%]
  else
    goto <bb 6>; [75.00%]
;;    succ:       9 [25.0% (guessed)]  (TRUE_VALUE,EXECUTABLE)
;;                6 [75.0% (guessed)]  (FALSE_VALUE,EXECUTABLE)

;;   basic block 6, loop depth 1, maybe hot
;;    prev block 5, next block 7, flags: (NEW, REACHABLE, VISITED)
;;    pred:       5 [75.0% (guessed)]  (FALSE_VALUE,EXECUTABLE)
  if (last_3 != local_iterator_8)
    goto <bb 7>; [54.59%]
  else
    goto <bb 9>; [45.41%]
;;    succ:       7 [54.6% (guessed)]  (TRUE_VALUE,EXECUTABLE)
;;                9 [45.4% (guessed)]  (FALSE_VALUE,EXECUTABLE)

;;   basic block 7, loop depth 1, maybe hot
;;    prev block 6, next block 8, flags: (NEW, REACHABLE, VISITED)
;;    pred:       6 [54.6% (guessed)]  (TRUE_VALUE,EXECUTABLE)
  _10 = local_iterator_8 + 1;
  if (last_3 != _10)
    goto <bb 8>; [54.59%]
  else
    goto <bb 9>; [45.41%]
;;    succ:       8 [54.6% (guessed)]  (TRUE_VALUE,EXECUTABLE)
;;                9 [45.4% (guessed)]  (FALSE_VALUE,EXECUTABLE)

;;   basic block 8, loop depth 1, maybe hot
;;    prev block 7, next block 9, flags: (NEW, REACHABLE, VISITED)
;;    pred:       7 [54.6% (guessed)]  (TRUE_VALUE,EXECUTABLE)
  _11 = &MEM <const char> [(void *)local_iterator_8 + 2B];
  i_12 = i_7 + 1;
  goto <bb 5>; [100.00%]