Landing: 7512b399cde4
Project / Subsystem
gcc / gcc
Date
2026-09-17
Author
Andrew MacLeod
Commit
7512b399cde4640ecb74ad4be9ad056e79b190e7
Source
github
Perf win
Yes
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc
- patch_id
- —
- commit_hash
- 7512b399cde4640ecb74ad4be9ad056e79b190e7
- source_type
- github
- headline
- Relation query changes to db style frontier search
- tldr
- GCC's relation oracle adopts a 'db style' frontier search, improving performance by performing transitivity discovery on demand instead of eagerly.
- author
- Andrew MacLeod
- outcome
- committed
- performance_win
- true
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • optimization
- • performance
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-09-17T00:00:00.000Z
GCC’s relation oracle has been refactored to use a ‘db style’ frontier search, moving away from eager transitivity computation. The previous approach scaled poorly with the number of registered relations, often leading to facts being dropped. The new method computes transitivity only when queried, using a bidirectional dominator search bounded by a work limit. This makes the cost proportional to actual queries and prevents unnecessary work.