https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
--- Comment #5 from Andrew Macleod <amacleod at redhat dot com> --- (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 ahead of time that it isn't needed, then the self maps do not get allocated. If it actually has to do a query, then they are allocated. Im still looking around at this... It was simpler to always do bitmap vs bitmap comparison rather than the full set of combinations. Figured I would revisit it if it was a performance concern. I will experiment with what happens if we expand the API, at least internally, to do ssa vs ssa, bitmap vs bitmap, and ssa vs bitmap checks.