Landing: 6b9bdbf958ce
Project / Subsystem
gcc / ada
Date
2026-04-29
Author
Johannes Kanig
Commit
6b9bdbf958cecf4a4bc96fa64923535fbf4973b8
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 6b9bdbf958cecf4a4bc96fa64923535fbf4973b8
- source_type
- github
- headline
- Adjust bugbox URL in GNATprove mode.
- tldr
- Bug reports for FSF frontend crashes in GNATprove mode now point to the SPARK repository.
- author
- Johannes Kanig
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • tooling
- • gnatprove
- • bug-reporting
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-04-29T00:00:00.000Z
This commit updates the bug reporting URL for FSF frontend crashes specifically when the Ada compiler is operating in GNATprove mode. Instead of directing users to the general GCC bug tracker, crash reports will now point to the SPARK repository. This change ensures that bug reports are routed to the most relevant development team, while other FSF tools continue to use the standard GCC bug reporting instructions.