AdaCore / AdaCore/Ada_Drivers_Library
Compiler crash with pragma Ada_2022 on body
Open
Nobody has claimed this yet.
- Dominant language
- Ada
- Stars
- 286
- Forks
- 165
- PR merge metrics
- No merged PRs in 30d
Description
GCC PR 114127 refers.
Using GCC 14.0.1 prerelease, building for STM32F4291, we get a bug box in framebuffer_ili9341.ads because ili9341-device.adb has pragma Ada_2022.
Putting the pragma in the spec (ili9341-device.ads) doesn’t help. Building with -gnat2022 does.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing the crash with GCC 14.0.1 prerelease for STM32F4291, using the pragma in ili9341-device.adb and then in ili9341-device.ads. Compare that result with the -gnat2022 build and read GCC PR 114127. Done means the crash behavior and its triggering location are confirmed, with the applicable resolution or workaround recorded.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers, embedded-iot
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100