aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
2022-05-19[Ada] Mark Requires_Transient_Scope as InlineEric Botcazou1-0/+1
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-0/+20
2022-05-19[Ada] Casing style on record componentsBob Duff1-3/+2
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou1-13/+16
2022-05-18[Ada] Crash building VSS with compiler built with assertionsJavier Miranda1-0/+2
2022-05-16[Ada] Revise Storage_Model_Support operations to do checks and take objects a...Gary Dismukes1-51/+61
2022-05-16[Ada] Fix internal error on predicate aspect with iteratorEric Botcazou1-0/+3
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-1/+1
2022-05-13[Ada] Spurious access error in function returning type with access discriminantJustin Squirek1-2/+2
2022-05-13[Ada] Ineffective use type clause warnings cause compile time crashJustin Squirek1-2/+2
2022-05-12[Ada] Remove unreferenced Is_Selector_Name routinePiotr Trojanek1-6/+0
2022-05-12[Ada] Make debug printouts more robustBob Duff1-3/+2
2022-05-10[Ada] Export Is_Expression_Function predicate for use in gigiEric Botcazou1-0/+2
2022-05-09[Ada] Prevent inlining-for-proof for calls inside ELSIF conditionPiotr Trojanek1-3/+7
2022-05-09[Ada] Revamp type resolution for comparison and equality operatorsEric Botcazou1-0/+6
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
generated by cgit v1.1 at 2025-02-23 11:23:42 +0000