aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Crash in class-wide pre/postconditionsJavier Miranda1-0/+4
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-25/+5
2022-01-07[Ada] Add an option to Get_Fullest_View to not recurseRichard Kenner1-2/+5
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-05[Ada] Simplify making of null procedure wrappersPiotr Trojanek1-2/+5
2021-12-02[Ada] Cleanup detection of suspension objectsPiotr Trojanek1-4/+0
2021-12-02[Ada] Use bracket aggregates in Ada2022Marc Poulhiès1-1/+1
2021-12-01[Ada] Improve support for casing on types with controlled partsSteve Baird1-0/+19
2021-12-01[Ada] Add query for extended precision floating-point typesYannick Moy1-0/+9
2021-12-01[Ada] Improve messages on incorrect state refinement in SPARKYannick Moy1-0/+4
2021-11-10[Ada] ACATS BDC1002 shall not error on arbitrary aspectEtienne Servais1-0/+8
2021-10-05[Ada] Front-end support for Storage_Model featureGary Dismukes1-0/+72
2021-10-04[Ada] Completion of support for AI12-0409 (attribute Preelaborable_Initializa...Gary Dismukes1-9/+7
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-24/+18
2021-10-01[Ada] Fix bug in inherited user-defined-literal aspects for tagged typesSteve Baird1-0/+7
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-1/+1
2021-09-21[Ada] Add assertions to UintpBob Duff1-11/+11
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-1/+21
2021-07-09[Ada] Incremental patch for restriction No_Dynamic_Accessibility_ChecksJustin Squirek1-1/+6
2021-07-08[Ada] Spurious warning in generic instanceArnaud Charlet1-7/+9
2021-07-07[Ada] Implement new legality checks specified by AI12-0412Gary Dismukes1-2/+10
2021-07-06[Ada] Removal of various ??? comments plus related code changesGary Dismukes1-9/+8
2021-07-05[Ada] Reject overlays in Global/Depends/Initializes contractsPiotr Trojanek1-0/+9
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-4/+19
2021-07-05[Ada] Add Ada 2022 Image and Put_Image support for tagged typesSteve Baird1-3/+22
2021-07-05[Ada] Clean up Get_Index_BoundsBob Duff1-2/+2
2021-07-05[Ada] Refactoring related to Returns_By_RefBob Duff1-2/+10
2021-06-29[Ada] Fix style in Get_Fullest_ViewPiotr Trojanek1-3/+3
2021-06-29[Ada] Rewrite Validated_View in recursive stylePiotr Trojanek1-1/+1
2021-06-21[Ada] Improve efficiency of small slice assignments of packed arraysBob Duff1-3/+23
2021-06-18[Ada] Warn on 'in out' param containing access in private typeBob Duff1-12/+8
2021-06-18[Ada] Update comments related to TBDArnaud Charlet1-1/+1
2021-06-17[Ada] Warn on 'in out' param containing access in predefined private typeBob Duff1-1/+5
2021-06-16[Ada] Fix detection of volatile expressions in restricted contextsPiotr Trojanek1-7/+8
2021-06-16[Ada] Adapt Is_Actual_Parameter to also work for entry parametersPiotr Trojanek1-1/+1
2021-06-15[Ada] Remove redundant guard from Find_Overlaid_EntityPiotr Trojanek1-6/+5
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-3/+3
2021-06-15[Ada] Avoid inappropriate error messages regarding aggregates and variant partsSteve Baird1-1/+2
2021-05-07[Ada] Minor reformattingsBob Duff1-10/+10
2021-05-07[Ada] Variable-sized node typesBob Duff1-10/+4
2021-05-07[Ada] Fix signature mismatch for Defining_EntityEric Botcazou1-13/+5
2021-05-07[Ada] Implement aspect No_Controlled_PartsJustin Squirek1-0/+12
2021-05-07[Ada] Move Has_Inferable_Discriminants to Sem_UtilClaire Dross1-0/+11
2021-05-05[Ada] Remove unnecessary parameter of Apply_Compile_Time_Constraint_ErrorPiotr Trojanek1-16/+14
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-5/+27
2020-12-17[Ada] Compiler crash on protected component of controlled typeArnaud Charlet1-1/+1
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-0/+4
2020-12-14[Ada] Incorrect accessibility level on type in formal packageJustin Squirek1-0/+3
generated by cgit v1.1 at 2025-02-25 18:04:07 +0000