aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
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
2020-11-25[Ada] Document attribute Has_Tagged_Values in GNAT RMPiotr Trojanek1-3/+1
2020-11-24[Ada] Handle correctly current instance of PO in local subprogram GlobalYannick Moy1-2/+13
2020-10-23[Ada] Further Ada 2020 work on accessibility checkingJustin Squirek1-12/+65
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-6/+6
2020-10-22[Ada] AI12-0211: Consistency of inherited nonoverridable aspectsSteve Baird1-0/+18
2020-10-22[Ada] Implement AI12-0030: Stream attribute availabilitySteve Baird1-0/+8
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-10/+26
2020-10-22[Ada] AI12-0307: uniform resolution rules for aggregatesEd Schonberg1-0/+7
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-1/+1
2020-10-20[Ada] Refine result type of Get_AccessibilityPiotr Trojanek1-1/+1
2020-10-20[Ada] Implement AI12-0280 Making 'Old more flexibleSteve Baird1-1/+87
2020-10-20[Ada] Fix comments as volatility properties can apply to objectsYannick Moy1-4/+4
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+7
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff1-0/+3
2020-10-16[Ada] Constants no longer synchronised if they are access-to-variableChris Martin1-1/+4
2020-10-16[Ada] Detect qualified type names for AI12-0027Piotr Trojanek1-1/+1
2020-10-16[Ada] SPARK: update for effectively volatile types and objectsYannick Moy1-3/+24
2020-09-03Look at fullest view when checking for static types in unnestingArnaud Charlet1-0/+6
2020-07-27[Ada] Ada2020: AI12-0027 Access values and unaliased componentJavier Miranda1-0/+10
generated by cgit v1.1 at 2025-08-07 23:46:03 +0000