Landing: 462dde1f6758
Project / Subsystem
gcc / gcc/ada
Date
2026-09-22
Author
Eric Botcazou
Commit
462dde1f675818ecc1037ca58a9167471db7a86c
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc/ada
- patch_id
- —
- commit_hash
- 462dde1f675818ecc1037ca58a9167471db7a86c
- source_type
- github
- headline
- Ada: Fix pragma Pure ignored by freezing of expression function as completion
- tldr
- Ensures `pragma Pure` is correctly handled during the freezing of Ada expression functions.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • compiler
- • bugfix
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-09-22T00:00:00.000Z
This commit corrects an issue where pragma Pure was ignored when an Ada expression function was frozen, leading to incomplete freezing of standalone objects. The compiler’s freezing machinery in freeze.adb has been updated to also freeze standalone objects referenced within the same scope, ensuring correct behavior.