Landing: a92c4b8704e0

← All landings

Project / Subsystem

gcc / ada

Date

2026-01-15

Author

Gary Dismukes

Commit

a92c4b8704e0dcecc91b3c438943472131f12dec

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: a92c4b8704e0dcecc91b3c438943472131f12dec
source_type: github
headline: Ada: Fixes missing contract checks for calls to formal subprograms in instances
tldr: Ensures that preconditions on formal subprograms are checked when called within package instantiations.
author: Gary Dismukes
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• compiler
• bugfix
• contracts
• generics
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/a92c4b8704e0dcecc91b3c438943472131f12dec
date: 2026-01-15T00:00:00.000Z

This commit resolves an issue where preconditions on formal subprograms were not being checked during calls within package instantiations. The wrapper subprogram, designed to perform the check and invoke the actual subprogram, was being bypassed due to a homograph subprogram renaming. The fix removes the homographic subprogram renaming in sem_ch12.adb to ensure that calls resolve to the wrapper, enabling precondition checks when assertions are enabled.