aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch7.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-20ada: Streamline propagation of controlled flags on typesEric Botcazou1-8/+3
2024-06-13ada: Reject too-strict alignment specifications.Steve Baird1-2/+3
2024-06-10ada: Fix references to Ada RM in commentsPiotr Trojanek1-1/+1
2024-05-17ada: Simplify code for private types with unknown discriminantsPiotr Trojanek1-4/+3
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-14/+3
2023-09-05ada: Fix spurious warning emissionsRonan Desplanques1-6/+11
2023-05-29ada: Refining handling of inlining for CCGArnaud Charlet1-3/+6
2023-05-23ada: Spurious errors on class-wide preconditions of private typesJavier Miranda1-0/+14
2023-05-23ada: Remove duplicate commentRonan Desplanques1-4/+0
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-2/+2
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-3/+6
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-0/+3
2023-05-15ada: Fix internal error on instance in package body with -gnatnEric Botcazou1-0/+4
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-28ada: Implement change to SPARK RM rule on state refinementYannick Moy1-5/+5
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-04ada: Cleanup clearing flags on package variablesPiotr Trojanek1-12/+9
2022-07-12[Ada] Warn on unset objects in packages with no bodiesPiotr Trojanek1-0/+7
2022-06-02[Ada] Refine previous changes on making symbols public/privateArnaud Charlet1-41/+44
2022-05-30[Ada] Introduce Opt.CCG_ModeArnaud Charlet1-2/+2
2022-05-18[Ada] Fast implementation of floating-point mathematical functionsEric Botcazou1-13/+25
2022-05-17[Ada] Fix bogus visibility error with partially parameterized formal packageEric Botcazou1-2/+6
2022-05-16[Ada] Fix fallout of change in equality for untagged record typesEric Botcazou1-3/+27
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-7/+94
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-12-01[Ada] Improve messages on incorrect state refinement in SPARKYannick Moy1-0/+2
2021-12-01[Ada] Storage error on untagged prefixed subprogram calls with -gnatXGary Dismukes1-6/+6
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-5/+6
2021-10-04[Ada] Completion of support for AI12-0409 (attribute Preelaborable_Initializa...Gary Dismukes1-13/+28
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-1/+1
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-2/+2
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-2/+7
2021-07-06[Ada] Support for Object.Op subprogram-call notation for untagged typesGary Dismukes1-0/+9
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda1-0/+3
2021-06-17[Ada] Removal of technical debtJustin Squirek1-1/+1
2021-05-07[Ada] Minor reformattingsBob Duff1-42/+42
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-6/+6
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+11
2021-05-05[Ada] Move Build_And_Insert_CUDA_Initialization to expansion phaseGhjuvan Lacambre1-8/+0
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-19[Ada] Implement initialization of CUDA runtimeGhjuvan Lacambre1-0/+8
2020-10-19[Ada] Private type unexpectedly visibleJavier Miranda1-0/+19
2020-10-15[Ada] Get finalization right when a function returns a function callSteve Baird1-0/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-14/+14
2020-06-19[Ada] Attempt to hide public entities in nested instance bodiesEric Botcazou1-16/+35
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-19/+5
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-62/+0
2020-06-03[Ada] Improve handling of SPARK_Mode in generic instancesYannick Moy1-0/+9
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
generated by cgit v1.1 at 2024-08-18 22:37:56 +0000