Bug ID: 89337
           Summary: Bogus "exceeds maximum object size" on unreachable
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot
          Reporter: rafael at espindo dot la
  Target Milestone: ---

Created attachment 45704

In the attached testcase the function drop3 has the precondition that the
provided string has a size of at least 3.

Given that, the body of the resize function is dead, but gcc doesn't realize it
and warns that we are passing -3 to memcpy.

Reply via email to