aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/errout.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Move warnings switches -- initial workBob Duff1-0/+2
2022-11-04ada: Fix couple of issues with arrays indexed by enumeration typeEric Botcazou1-13/+3
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-9/+31
2022-07-12[Ada] Ignore switches for controlling frontend warnings in GNATprove modeYannick Moy1-30/+5
2022-06-02[Ada] Add precise subprogram identification to -fdiagnostics-format=jsonGhjuvan Lacambre1-6/+15
2022-06-01[Ada] Enable using absolute paths in -fdiagnostics-format=json outputGhjuvan Lacambre1-3/+21
2022-05-30[Ada] Add "option" field to GNAT's -fdiagnostics-format=json outputGhjuvan Lacambre1-1/+11
2022-05-18[Ada] Improve error messages for occurrence of GNAT extensions without -gnatXGary Dismukes1-4/+11
2022-05-12[Ada] Make debug printouts more robustBob Duff1-1/+1
2022-05-09[Ada] Remove extra space around binary operatorsPiotr Trojanek1-1/+1
2022-05-09[Ada] Improve error messages to include full package nameJustin Squirek1-2/+6
2022-01-11[Ada] Simplify construction of messages about configurable runtimePiotr Trojanek1-15/+2
2022-01-11[Ada] Remove warnings-as-errors about constraints error in dead codePiotr Trojanek1-7/+15
2022-01-11[Ada] Escalate pre-continuation messages from warnings to errorsPiotr Trojanek1-1/+4
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Consistent suppression for warnings inside null loopsPiotr Trojanek1-20/+22
2022-01-06[Ada] Remove unnecessary declare blockPiotr Trojanek1-38/+35
2022-01-06[Ada] Simplify traversal for removing warnings from dead codePiotr Trojanek1-25/+11
2022-01-06[Ada] Remove unnecessary guards for non-empty listsPiotr Trojanek1-7/+5
2022-01-06[Ada] Fix style in comments about warning messagesPiotr Trojanek1-1/+1
2022-01-06[Ada] Rename Any_Access into Universal_AccessEric Botcazou1-6/+9
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-30/+25
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-16/+4
2021-09-21[Ada] Update comment for Error_Msg_InternalPiotr Trojanek1-5/+5
2021-09-21[Ada] Simplify iteration when printing error message spansPiotr Trojanek1-3/+3
2021-09-21[Ada] Exception raised on empty file in GNATprove modeYannick Moy1-3/+4
2021-07-05[Ada] Print JSON continuation messages as separate messagesGhjuvan Lacambre1-7/+32
2021-06-29[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARKPiotr Trojanek1-6/+1
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek1-0/+13
2021-06-21[Ada] Minor reformattingsGhjuvan Lacambre1-1/+1
2021-06-18[Ada] Implement basic support for -fdiagnostics-format=jsonGhjuvan Lacambre1-2/+173
2021-06-15[Ada] Extend function to retrieve first/last nodes to all declarationsYannick Moy1-1/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-6/+6
2021-05-07[Ada] Minor reformattingsBob Duff1-22/+22
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+8
2021-05-04[Ada] Clean up ??? marksBob Duff1-8/+0
2021-05-04[Ada] Guard against leading and trailing spaces reappearing in errorsPiotr Trojanek1-0/+5
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-29[Ada] Add colors to GNATprove messages output to a terminalYannick Moy1-6/+48
2021-04-29[Ada] Fixes in the use of spans for error locationsYannick Moy1-27/+169
2021-04-28[Ada] Use spans instead of locations for compiler diagnosticsYannick Moy1-86/+380
2020-12-15[Ada] Refactor repeated complains about missing -gnat2005 switchPiotr Trojanek1-0/+19
2020-11-30[Ada] Crash on ghost assignment check for illegal codeBob Duff1-2/+4
2020-10-20[Ada] Fixes for pretty command-line GNATprove output with -gnatdFYannick Moy1-20/+51
2020-10-20[Ada] Display source code pointing at locations in messages for GNATproveYannick Moy1-8/+92
2020-10-19[Ada] Alternative display of multi-line messages for GNATproveYannick Moy1-13/+30
2020-07-27[Ada] Ada2020: wording of 'Image messagesBob Duff1-0/+18
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-5/+5
2020-06-18[Ada] Update output of verbose error summaryGhjuvan Lacambre1-16/+63
2020-06-18[Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatweGhjuvan Lacambre1-22/+41
generated by cgit v1.1 at 2024-07-18 06:43:19 +0000