Landing: dadcb54f7642

← All landings

Project / Subsystem

gcc / ada

Date

2026-01-07

Author

Viljar Indus

Commit

dadcb54f7642d754f71a870e69c3b93f100b9633

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: dadcb54f7642d754f71a870e69c3b93f100b9633
source_type: github
headline: Print restrictions in the SARIF report
tldr: The Ada compiler now includes restriction information in its SARIF (Static Analysis Results Interchange Format) output.
author: Viljar Indus
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• sarif
• static analysis
• restrictions
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/dadcb54f7642d754f71a870e69c3b93f100b9633
date: 2026-01-07T00:00:00.000Z

The Ada compiler now includes information about language restrictions in the SARIF reports it generates. This addition allows static analysis tools to better understand the constraints imposed on the Ada code, enabling more accurate and comprehensive analysis. New packages were created to map restrictions to diagnostics, and the SARIF emitter was updated to print rules for restrictions.