Landing: f1b146117352

← All landings

Project / Subsystem

gcc / ada

Date

2026-02-04

Author

Viljar Indus

Commit

f1b1461173527b57cb9202e83cb7e0923d125a31

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: f1b1461173527b57cb9202e83cb7e0923d125a31
source_type: github
headline: Normalize the handling of assertion policies
tldr: The Ada compiler now normalizes assertion policies to `Check` and `Ignore` to prevent internal logic errors.
author: Viljar Indus
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• assertions
• code quality
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/f1b1461173527b57cb9202e83cb7e0923d125a31
date: 2026-02-04T00:00:00.000Z

The Ada compiler’s handling of assertion policies has been normalized to use Check and Ignore consistently. Previously, On and Off were also used, leading to potential internal logic errors. By normalizing the policy names in the Policy_In_Effect function within sem_util.adb, the compiler’s behavior becomes more predictable and robust.