summaryrefslogtreecommitdiff
path: root/gcc/ada/errout.ads
AgeCommit message (Expand)Author
2025-06-30ada: Fix Execution_Successful value with exceptionsViljar Indus
2025-06-06ada: Refactor the implementation of gnat diagnosticsViljar Indus
2025-01-07Update copyright years.Marc Poulhiès
2024-11-26ada: Remove Current_Node from ErroutViljar Indus
2024-11-26ada: Remove Raise_Exception_On_ErrorViljar Indus
2024-09-05ada: Integrate new diagnostics in the frontendViljar Indus
2024-08-06ada: Implement type inference for generic parametersBob Duff
2024-05-14ada: Fix pragma Compile_Time_Error and -gnatdJ crashRonan Desplanques
2024-05-14ada: Fix crash with -gnatdJ and -gnatw.wRonan Desplanques
2024-01-22Update copyright years.Marc Poulhiès
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy
2023-07-06ada: Improve error message on violation of SPARK_Mode rulesYannick Moy
2023-06-20ada: Add the ability to add error codes to error messagesYannick Moy
2023-05-16ada: Add tags on style messagesArnaud Charlet
2023-01-09ada: Update copyright noticeArnaud Charlet
2022-11-08ada: Move warnings switches -- initial workBob Duff
2022-11-07ada: New warning about noncomposing user-defined "="Bob Duff
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird
2022-07-12[Ada] Ignore switches for controlling frontend warnings in GNATprove modeYannick Moy
2022-05-18[Ada] Improve error messages for occurrence of GNAT extensions without -gnatXGary Dismukes
2022-05-09[Ada] Improve error messages to include full package nameJustin Squirek
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès
2021-11-10[Ada] Warn for bidirectional charactersBob Duff
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais
2021-07-12[Ada] Duplicate Size/Value_Size clauseBob Duff
2021-06-29[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARKPiotr Trojanek
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek
2021-06-21[Ada] Make -gnatU and -gnatw.d the defaultGhjuvan Lacambre
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet
2021-05-07[Ada] Fix type mismatch warnings during LTO bootstrap #1Eric Botcazou
2021-05-07[Ada] Remove some ??? commentsGary Dismukes
2021-05-03[Ada] Update copyright noticeArnaud Charlet
2021-04-28[Ada] Use spans instead of locations for compiler diagnosticsYannick Moy
2020-12-15[Ada] Refactor repeated complains about missing -gnat2005 switchPiotr Trojanek
2020-10-26[Ada] Avoid crash on use of Ada 2020 featureBob Duff
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff
2020-10-19[Ada] Clarify current design of Errout wrt global variable usageYannick Moy
2020-07-27[Ada] Ada2020: wording of 'Image messagesBob Duff
2020-07-06[Ada] Various typo fixes and reformatting of commentsGary Dismukes
2020-06-18[Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatweGhjuvan Lacambre
2020-06-02[Ada] Bump copyright yearArnaud Charlet
2019-12-16[Ada] Minor: improve commentsBob Duff
2019-12-16[Ada] Check for "size for" in Special_Msg_DeleteBob Duff
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou
2019-10-10[Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio
2019-08-19[Ada] Factor out the "size for& too small..." error messageBob Duff
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat
2018-09-26[Ada] Issue info message on inlined subprograms in GNATprove modeYannick Moy
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet