[Bug middle-end/78435] New: bogus array subscript warning

[bernd.edlinger at hotmail dot de]

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

            Bug ID: 78435
           Summary: bogus array subscript warning
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bernd.edlinger at hotmail dot de
  Target Milestone: ---

Created attachment 40090
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40090&action=edit
reproducer

just another example:

gcc -c -Wall -O2 -c xpath.c
xpath.c:79:6: warning: array subscript is above array bounds [-Warray-bounds]
  work[buffersize - 1] = 0;
  ~~~~^~~~~~~~~~~~~~~~