Landing: 5502ee6ed442

Project / Subsystem

gcc / gcc

Date

2026-09-15

Author

Andrew MacLeod

Commit

5502ee6ed442795c0cac7214bc534c9bd8f16049

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
gcc
patch_id
—
commit_hash
5502ee6ed442795c0cac7214bc534c9bd8f16049
source_type
github
headline
Complete relation tables for partial equivalencies.
tldr
Fill in missing relation table entries for partial equivalencies to improve correctness.
author
Andrew MacLeod
outcome
committed
performance_win
false
breaking_change
false
series_id
—
series_parts
[]
tags
  • • optimization
  • • compiler
discussion_id_link
—
bugzilla_pr
—
date
2026-09-15T00:00:00.000Z

This commit completes the partial equivalency entries in GCC’s relation tables. Previously, these entries defaulted to a conservative ‘VARYING’ state, assuming no interaction with other relations. The update correctly defines how partial equivalencies interact with negation, swapping, intersection, union, and transitivity, ensuring more accurate value relation tracking.