aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch12.adb
AgeCommit message (Expand)AuthorFilesLines
2021-05-07[Ada] Minor reformattingsBob Duff1-56/+56
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-32/+32
2021-05-07[Ada] Variable-sized node typesBob Duff1-50/+61
2021-05-05[Ada] Remove redundant checks for empty listsPiotr Trojanek1-10/+5
2021-05-04[Ada] Fix inconsistent iteration with First_Formal and Next_EntityPiotr Trojanek1-2/+2
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-6/+6
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-5/+5
2020-11-27[Ada] Fix tree for expanded instantiations corresponding to formal packagesArnaud Charlet1-1/+1
2020-11-26[Ada] Spurious error on formal package with overloaded subprogramsEd Schonberg1-0/+10
2020-11-26[Ada] Fix casing of "circular instantiation" errorPiotr Trojanek1-4/+4
2020-11-25[Ada] Remove dead and duplicated diagnostics for generic access typesPiotr Trojanek1-18/+3
2020-11-24[Ada] Reuse In_Same_List where possiblePiotr Trojanek1-5/+3
2020-11-24[Ada] Fix internal error on multiple nested instantiationsEric Botcazou1-11/+8
2020-10-26[Ada] Fix GNATprove crash on generics with access typesYannick Moy1-1/+9
2020-10-26[Ada] Do not instantiate generic bodies outside of main unit in GNATproveYannick Moy1-0/+10
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-9/+18
2020-10-21[Ada] Fix problematic placement of freeze node after instantiationEric Botcazou1-6/+1
2020-10-21[Ada] Spurious error in current instance used as formal packageJavier Miranda1-132/+90
2020-10-21[Ada] Use helper function in Freeze_Subprogram_BodyEric Botcazou1-12/+4
2020-10-20[Ada] Spurious error in current instance used as formal packageJavier Miranda1-0/+175
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+1
2020-10-16[Ada] Crash in generic renaming declaration of child unitJavier Miranda1-0/+49
2020-10-15[Ada] Assert failure on incorrect codeArnaud Charlet1-1/+6
2020-10-15[Ada] Simplify membership tests with N_Entity subtypePiotr Trojanek1-10/+3
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-92/+90
2020-07-27[Ada] Remove obsolete special case in Switch_ViewEric Botcazou1-13/+16
2020-07-16[Ada] Spurious error in instance nested in formal packageEd Schonberg1-0/+15
2020-07-08[Ada] Accept aspect Relaxed_Initialization on generic subprogramsPiotr Trojanek1-7/+7
2020-07-08[Ada] Analyze aspects once generic subprograms are recognizedPiotr Trojanek1-7/+7
2020-07-07[Ada] Use Is_Generic_Subprogram where possiblePiotr Trojanek1-2/+1
2020-07-07[Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprogramsArnaud Charlet1-3/+2
2020-07-06[Ada] Hang on generic declaration with ambiguous formal packageJustin Squirek1-4/+13
2020-06-17[Ada] Add assertions to Preserve_Comes_From_Source and reuse itPiotr Trojanek1-3/+3
2020-06-17[Ada] Fix casing from GNATProve to GNATprovePiotr Trojanek1-2/+2
2020-06-16[Ada] Implement AI12-0351 Matching for actuals for formal derived typesEric Botcazou1-2/+10
2020-06-12[Ada] Compiler locks up with -gnatX and formal subprogram with aspectsEd Schonberg1-7/+14
2020-06-12[Ada] Compiler crash on instance with overloaded actual and aspectsEd Schonberg1-18/+69
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-0/+47
2020-06-11[Ada] Crash on dispatching conditional entry callJavier Miranda1-0/+1
2020-06-10[Ada] Minor reformatting and some typo fixesGary Dismukes1-3/+3
2020-06-09[Ada] Remove kludge for AI05-0087Arnaud Charlet1-22/+8
2020-06-09[Ada] Ada2020 AI12-0282: Shared variable control aspects in genericsEd Schonberg1-2/+21
2020-06-09[Ada] Ada2020 AI12-0282: Shared variable control aspects in genericsEd Schonberg1-37/+39
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-8/+0
2020-06-08[Ada] AI12-0287 Legality Rules for null exclusions in renaming are too fierceArnaud Charlet1-13/+21
2020-06-05[Ada] Minor wording changes wrt Ada 202xArnaud Charlet1-5/+5
2020-06-04[Ada] Ada_2020: contracts for formal subprogramsEd Schonberg1-3/+210
2020-06-04[Ada] Put_Image attributeBob Duff1-0/+1
generated by cgit v1.1 at 2024-08-19 04:40:45 +0000