Landing: 3dd180a818e7

Project / Subsystem

gcc / ada

Date

2026-04-29

Author

Johannes Kanig

Commit

3dd180a818e74059c5de878d1557629093aa6748

Source

github

Perf win

Breaking

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 3dd180a818e74059c5de878d1557629093aa6748
source_type: github
headline: ada: GNATprove inlining/unrolling messages now controlled by two Booleans
tldr: ada: GNATprove inlining/unrolling messages now controlled by two Booleans
author: Johannes Kanig
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: []
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/3dd180a818e74059c5de878d1557629093aa6748
date: 2026-04-29T00:00:00.000Z

Summary unavailable — see source link.