steve-cs
commented
3 years ago This resolved itself some time ago.
Closed steve-cs closed 3 years ago
steve-cs
commented
3 years ago This resolved itself some time ago.
Last good bootstrap on Azure: Universal Time is now: Fri Mar 12 12:15:21 UTC 2021. First bad bootstrap on Azure: Universal Time is now: Sat Mar 13 12:15:10 UTC 2021.
+===========================GNAT BUG DETECTED==============================+ | 11.0.1 20210313 (experimental) (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:1013| | Error detected at lsp-messages.ads:411:4 | | Please submit a bug report; see https://gcc.gnu.org/bugs/ . | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact command that you entered. | | Also include sources listed below. | +==========================================================================+
+===========================GNAT BUG DETECTED==============================+ | 11.0.1 20210302 (experimental) (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:1013| | Error detected at lsp-messages.ads:411:4 | | Please submit a bug report; see https://gcc.gnu.org/bugs/ . | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact command that you entered. | | Also include sources listed below. | +==========================================================================+ [...] compilation abandoned
compilation of gps-main.adb failed
Same crash whether built with gcc from cs-20210302 toolchain or from gcc nightly build (from 3/12 and 3/13), leading to the belief that something changed on or about 20210312 in Adacore sources (not necessarily gps repo) triggering a gcc bug (introduced prior to 20210302).
Edit: https://github.com/AdaCore/ada_language_server/commit/fa10f2eebeb5ae5c97bf8c1c9d6484b47e5d506c is the commit that first tickles this gnat bug/crash.