AdaCore / AdaCore/libadalang

Create_Context crashes on windows since GNAT native 12.1.2

Open
#949 3 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

bug
Dominant language
Ada
Stars
171
Forks
48
PR merge metrics
No merged PRs in 30d

Description

Dear Libadalang developers,

Recently, GNAT native 12.1.2 was released in the Alire ecosystem.
Unfortunately, this resulted in crashes in all my crates on the windows platform.

I have been able to pinpoint the problem in the attached reproducer.
bug_native12.zip

When typing
alr run
I would expect the output

Start
Done

However, as you will see one gets

Start

Could you please fix the bug?
Furthermore, could you release a new version of libadalang for the Alire ecosystem that works with GNAT native 12.1.2?

Thanks in advance,

Pierre van de Laar

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by running the attached bug_native12.zip reproducer with alr run on Windows using GNAT native 12.1.2. Trace the Create_Context crash and verify that the program reaches Done after Start; the issue also requests a libadalang release compatible with that GNAT version.

Written by the indexing model from the issue text.

Assessment

Domain
compilers, operating-systems
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.