Landing: 65feeb215dd8

← All landings

Project / Subsystem

gcc / ada

Date

2026-04-10

Author

Johannes Kanig

Commit

65feeb215dd8f81964708b7c1efd1af03b12139b

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 65feeb215dd8f81964708b7c1efd1af03b12139b
source_type: github
headline: Call back-end even in case of errors.
tldr: The Ada compiler now calls the back-end even with front-end errors in GNATprove mode for SARIF reporting.
author: Johannes Kanig
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• tooling
• gnatprove
• error-reporting
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/65feeb215dd8f81964708b7c1efd1af03b12139b
date: 2026-04-10T00:00:00.000Z

This change modifies the Ada compiler’s behavior in GNATprove mode to ensure the back-end is always invoked, even if compilation errors occur in the front-end. This is crucial for environments that rely on SARIF report generation, as it allows the back-end to produce error messages necessary for these reports. Previously, front-end errors would halt the compilation process prematurely, preventing comprehensive SARIF output.