aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch10.adb
AgeCommit message (Expand)AuthorFilesLines
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-5/+0
2022-01-07[Ada] Warn on import of parent packageBob Duff1-1/+9
2021-12-01[Ada] Replace low-level detection of subprograms with high-level wrapperPiotr Trojanek1-1/+1
2021-12-01[Ada] Improve messages on incorrect state refinement in SPARKYannick Moy1-17/+0
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-6/+6
2021-10-11[Ada] Simplify membership tests with N_Generic_DeclarationPiotr Trojanek1-5/+2
2021-10-11[Ada] Remove constant argumentsEtienne Servais1-6/+4
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-2/+2
2021-06-21[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_OutputSteve Baird1-1/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-4/+4
2021-05-07[Ada] Minor reformattingsBob Duff1-48/+48
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-14/+15
2021-05-07[Ada] Variable-sized node typesBob Duff1-4/+10
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Fix calls to Error_Msg_NE instead of Error_Msg_NPiotr Trojanek1-2/+2
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-1/+1
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-6/+7
2020-11-24[Ada] Fix spurious error on child library-level subprogram with aspectsYannick Moy1-0/+1
2020-11-24[Ada] Use high-level Present instead of low-level equality testPiotr Trojanek1-1/+1
2020-10-22[Ada] ACATS 4.1H - B853001 - missed errors for renamed limitedJavier Miranda1-107/+143
2020-10-15[Ada] Spurious visibility on private with packageArnaud Charlet1-6/+8
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-80/+72
2020-07-07[Ada] Use Is_Generic_Subprogram where possiblePiotr Trojanek1-1/+1
2020-06-17[Ada] ACATS 4.1H - BA12018 - Missed errors for private withArnaud Charlet1-4/+8
2020-06-12[Ada] Enable Put_Image in pre-Ada-2020 modesBob Duff1-10/+1
2020-06-12[Ada] Put_Image: preload type Sink, change what types have it enabledBob Duff1-0/+12
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-2/+1
2020-06-05[Ada] Minor wording changes wrt Ada 202xArnaud Charlet1-1/+1
2020-06-03[Ada] Spurious ineffective with clause warnings on use type clauseJustin Squirek1-7/+18
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-33/+12
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-16[Ada] Better error message for "is null" subunitBob Duff1-0/+14
2019-12-13[Ada] Ada2020: Update Impunit for Ada 202XBob Duff1-18/+25
2019-12-12[Ada] Improved handling of circular compilation dependenciesSteve Baird1-0/+14
2019-12-12[Ada] Spurious visibility error on subunit with optimizationEd Schonberg1-0/+9
2019-07-10[Ada] Minor reformattingHristian Kirtchev1-2/+2
2019-07-04[Ada] Minor reformattingHristian Kirtchev1-3/+3
2019-07-04[Ada] Spurious error on instantiation and limited_with_clauseEd Schonberg1-6/+22
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Minor reformattingHristian Kirtchev1-2/+2
2018-12-11[Ada] Crash on nesting of subunits with bodies acting as specsJustin Squirek1-1/+3
2018-12-11[Ada] Suppress call to Initial_Condition when the annotation is ignoredHristian Kirtchev1-7/+5
2018-08-21[Ada] Retention of with clauses for ignored Ghost unitsHristian Kirtchev1-3/+0
2018-07-17[Ada] Configuration state not observed for instance bodiesHristian Kirtchev1-6/+6
2018-05-24[Ada] Spurious error due to lingering limited viewHristian Kirtchev1-149/+288
2018-05-21[Ada] Aspects on stubsHristian Kirtchev1-11/+40
2018-05-21[Ada] Placement of pragma Elaboration_ChecksHristian Kirtchev1-0/+6
2018-01-11[Ada] Incorrect diagnostic on illegal with clauseHristian Kirtchev1-1/+3
generated by cgit v1.1 at 2025-01-09 05:35:01 +0000