Landing: b947bd4aac67

← All landings

Project / Subsystem

gcc / tree-optimization

Date

2026-08-06

Author

Richard Biener

Commit

b947bd4aac67ba3bdb6030aa4ac2f3eb0204df05

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: tree-optimization
patch_id: —
commit_hash: b947bd4aac67ba3bdb6030aa4ac2f3eb0204df05
source_type: github
headline: Avoid inferring non-null for TARGET_MEM_REF operands
tldr: Compiler avoids miscompilation by not assuming memory references are non-null.
author: Richard Biener
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • optimization
• compiler
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/b947bd4aac67ba3bdb6030aa4ac2f3eb0204df05
date: 2026-08-06T00:00:00.000Z

The compiler now avoids inferring that the base operand of a TARGET_MEM_REF is non-null. This change corrects a miscompilation in jump-threading optimizations that was triggered by a testcase where a non-null assumption was incorrectly made. The fix adjusts three areas within the compiler’s GIMPLE and range inference passes to take a more conservative stance, particularly for scaled index operands.