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

            Bug ID: 85960
           Summary: -fipa-pta and ifunc are incompatible
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: translation
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gianni at scaramanga dot co.uk
  Target Milestone: ---

Created attachment 44202
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44202&action=edit
Minimal example showing the bug

-fipa-pta and ifuncs are incompatible, it looks like ifunc resolved functions
are treated as no-ops which seems to lead to erroneous conclusions about the
possible values of objects pointed to in such a functions parameters.

For example, if an ifunc has a pointer argument and all implementations of that
functions write to the pointed-to object, then we get a warning about that
object being read before being set - which is erroneous. Moreover we end up
with miscompiled code as a result of this.

Reply via email to