On Wed, Apr 21, 2010 at 01:53:21PM +0200, Martin Jambor wrote:
> when putting together a patch to fix PR 43812 I wanted to extend
> the call graph verifier to verify that
>
> 1) the same_comdat_group linked lists are indeed circular,
> 2) there are no one element lists, and
> 3) all nodes in such lists have the flag DECL_COMDAT (node->decl) set.
All notes should have same non-NULL DECL_COMDAT_GROUP, that's something
different from DECL_COMDAT (non-NULL DECL_COMDAT_GROUP is DECL_ONE_ONLY
property).
Jakub
