]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34aba15) | patch
ada: Fix crash with -gnatdJ and JSON output
authorRonan Desplanques <desplanques@adacore.com>
Tue, 13 Feb 2024 11:46:36 +0000 (12:46 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 14 May 2024 08:19:56 +0000 (10:19 +0200)
commit996fd76402004d5f2fedbbf86cd8534e8c0c1f71
treeae398aaaa2a62f2c1f75bb95ae909b47dfb62005tree
parent34aba1547d277eb8c7fa5db7f58e35b1726693dfcommit | diff
ada: Fix crash with -gnatdJ and JSON output

This patch tweaks the calls made to Errout subprograms to report
violations of dependence restrictions, in order fix a crash that
occurred with -gnatdJ and -fdiagnostics-format=json.

gcc/ada/

* restrict.adb (Violation_Of_No_Dependence): Tweak error
reporting calls.
gcc/ada/restrict.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git