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.