https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
--- Comment #5 from Andrew Macleod ---
(In reply to Richard Biener from comment #4)
>
> That said, not allocating the self-relation bitmaps at query time is
> definitely good (not 100% sure if the patch achieves that).
If it can determine ah
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
--- Comment #4 from Richard Biener ---
(In reply to Andrew Macleod from comment #2)
> Created attachment 54437 [details]
> possible patch
>
> This patch should successfully short circuit unnecessary checks. untested in
> compiler.i
>
> Where d
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
--- Comment #3 from rguenther at suse dot de ---
> Am 08.02.2023 um 18:50 schrieb amacleod at redhat dot com
> :
>
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
>
> --- Comment #2 from Andrew Macleod ---
> Created attachment 54437
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
--- Comment #2 from Andrew Macleod ---
Created attachment 54437
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54437&action=edit
possible patch
This patch should successfully short circuit unnecessary checks. untested in
compiler.i
Where
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
--- Comment #1 from Andrew Macleod ---
I think that change will end up missing equivalences and transitives. The
m_relation_set bitmap is only used to track non-equivalence relations
registered with the oracle. Equivalences are handled separate
