Landing: 15d15252c992

← All landings

Project / Subsystem

gcc / gcc/ada

Date

2026-05-17

Author

Piotr Trojanek

Commit

15d15252c99250ed22248a1e1518bf1d65d86176

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: gcc/ada
patch_id: —
commit_hash: 15d15252c99250ed22248a1e1518bf1d65d86176
source_type: github
headline: Add assertions to Fully_Qualified_Name_String
tldr: The Ada front end now ensures correct function behavior by adding assertions to `Full_Qualified_Name_String` to validate its inputs and outputs.
author: Piotr Trojanek
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• compiler-internals
• code-quality
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/15d15252c99250ed22248a1e1518bf1d65d86176
date: 2026-05-17T00:00:00.000Z

This commit adds assertions to the Full_Qualified_Name_String function within the Ada front end. These assertions improve code robustness by validating expected conditions during execution. The change specifically impacts exp_util.adb, a utility file for expression handling in the Ada compiler.