aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch12.adb
AgeCommit message (Expand)AuthorFilesLines
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-2/+2
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Remove unnecessary guards for appending non-empty listsPiotr Trojanek1-3/+1
2022-01-06[Ada] Fix regression in freezing code for instantiationsEric Botcazou1-11/+19
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-05[Ada] Remove redundant code related to instances with formal subprogramsPiotr Trojanek1-1/+0
2022-01-05[Ada] Deconstruct dead wrappers added for external axiomatizationPiotr Trojanek1-205/+0
2021-12-02[Ada] Enhance freezing code for instantiationsEric Botcazou1-118/+158
2021-12-01[Ada] Allow formal functions to have a default in the form of an expression f...Gary Dismukes1-2/+59
2021-12-01[Ada] Tidy up freezing code for instantiations (continued)Eric Botcazou1-266/+266
2021-12-01[Ada] Tidy up freezing code for instantiationsEric Botcazou1-134/+144
2021-12-01[Ada] Replace low-level detection of subprograms with high-level wrapperPiotr Trojanek1-1/+1
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-41/+42
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-1/+3
2021-10-20[Ada] Expose and use type-generic GCC atomic builtinsEric Botcazou1-5/+5
2021-09-23[Ada] Add N_Has_Bounds and N_Is_IndexRichard Kenner1-1/+1
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-2/+2
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-2/+2
2021-07-08[Ada] Simplify redundant checks for non-empty listsPiotr Trojanek1-1/+0
2021-07-07[Ada] Front-end inlining and instantiations of UCArnaud Charlet1-1/+8
2021-07-07[Ada] Fix location of errors about volatile compatibilityPiotr Trojanek1-1/+1
2021-06-29[Ada] Small tweak in a couple of commentsEric Botcazou1-2/+2
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-4/+7
2021-06-21[Ada] Implementation of AI12-205: defaults for formal typesEd Schonberg1-4/+448
2021-06-18[Ada] Reuse Package_Specification in Is_Incomplete_Or_Private_TypePiotr Trojanek1-2/+3
2021-06-17[Ada] Error in instance on incomplete actual passed to formal incomplete typeGary Dismukes1-2/+6
2021-06-17[Ada] Removal of technical debtJustin Squirek1-24/+30
2021-06-15[Ada] Variable-sized node types -- cleanupBob Duff1-2/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-10/+10
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