https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98222
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Martin Jambor <jamb...@gcc.gnu.org>: https://gcc.gnu.org/g:0f4c8f517b7954e113afb4d5c7212123c8ee2418 commit r11-6756-g0f4c8f517b7954e113afb4d5c7212123c8ee2418 Author: Martin Jambor <mjam...@suse.cz> Date: Sun Jan 17 22:31:09 2021 +0100 ipa: Adjust cgraph verifier to materialization on demand (PR 98222) after switching to materialization of clones on demand, the verifier can happen to see edges leading to a clone of a materialized clone. This means its clone_of is NULL and former_clone_of needs to be checked in order to verify that the callee is a clone of the original decl, which it did not do and reported edges to pointing to a wrong place. Fixed with the following patch, which has been pre-approved by Honza. Bootstrapped and tested on x86_64-linux, pushed to master. Martin gcc/ChangeLog: 2021-01-15 Martin Jambor <mjam...@suse.cz> PR ipa/98222 * cgraph.c (clone_of_p): Check also former_clone_of as we climb the clone tree. gcc/testsuite/ChangeLog: 2021-01-15 Martin Jambor <mjam...@suse.cz> PR ipa/98222 * gcc.dg/ipa/pr98222.c: New test.