aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch10.adb
AgeCommit message (Expand)AuthorFilesLines
2024-08-02ada: Fix handling of SPARK_Mode on standalone child subprogramYannick Moy1-1/+11
2024-05-20ada: Add direct workaround for limitations of RTSfind mechanismEric Botcazou1-3/+0
2024-05-17ada: Replace spinlocks with fully-fledged locks in finalization collectionsEric Botcazou1-0/+3
2024-05-14ada: Missing support for consistent assertion policyJavier Miranda1-4/+208
2024-05-06ada: Give error for reference to nonvisible library unitBob Duff1-20/+29
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Fix style and typos in commentsPiotr Trojanek1-1/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-9/+3
2023-11-07ada: Fix scope of semantic style_check pragmasViljar Indus1-0/+10
2023-10-10ada: Fix infinite loop with multiple limited with clausesEric Botcazou1-63/+107
2023-05-25ada: Set Is_Not_Self_Hidden flag in more casesBob Duff1-2/+6
2023-05-23ada: Crash on dispatching primitive referencing limited-with typeJavier Miranda1-0/+158
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-5/+5
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-0/+4
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-07-05[Ada] Warn about obsolete uses of renamed Ada 83 packagesPiotr Trojanek1-2/+10
2022-06-02[Ada] Restore full generation of static dispatch tables with -gnatzrEric Botcazou1-0/+17
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek1-22/+18
2022-05-16[Ada] Fix spurious error on limited view with incomplete typeEric Botcazou1-124/+167
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
generated by cgit v1.1 at 2024-12-27 23:10:25 +0000