aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)AuthorFilesLines
2024-11-12ada: Get rid of Kill_Range_Checks flag on entitiesEric Botcazou1-0/+6
2024-11-04ada: Split Library_Unit using multiple wrappersBob Duff1-11/+11
2024-11-04ada: Initial implementation of Extended_Access aspect (FE portion only)Steve Baird1-2/+55
2024-11-04ada: Missing precondition runtime check in inherited primitiveJavier Miranda1-3/+1
2024-10-25ada: Disable self-referential with_clausesBob Duff1-3/+1
2024-10-25ada: Inspect deferred constant completions in missing contextsRaphaël AMIARD1-6/+10
2024-08-29ada: Use consistent type continuations messagesViljar Indus1-1/+1
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek1-34/+34
2024-08-23ada: Fix validity checks for named parameter associationsPiotr Trojanek1-6/+4
2024-08-23ada: Error missing when 'access is applied to an interface type objectJavier Miranda1-0/+4
2024-08-08ada: Futher refinements to mutably tagged typesJustin Squirek1-1/+13
2024-08-02ada: Fix handling reference warnings with slicesViljar Indus1-2/+3
2024-08-02ada: Reject illegal uses of type/subtype current instanceSteve Baird1-1/+30
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre1-1/+0
2024-08-01ada: Allow making empty aggregates positionalRonan Desplanques1-0/+14
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-6/+10
2024-06-21ada: Apply fixes to Examine_Array_BoundsRonan Desplanques1-1/+3
2024-06-20ada: Fix bogus error with "=" operator on array of private unchecked unionEric Botcazou1-2/+5
2024-06-20ada: Streamline propagation of controlled flags on typesEric Botcazou1-0/+48
2024-06-20ada: Remove Max_Entry_Queue_Depth pragma/aspectEric Botcazou1-8/+3
2024-06-20ada: Do not compute Has_Controlled_Component twice during freezingEric Botcazou1-1/+1
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+13
2024-06-13ada: Remove -gnatdJ switchViljar Indus1-116/+0
2024-06-13ada: Fix test for giving hint on ambiguous aggregateYannick Moy1-1/+1
2024-06-13ada: Deep copy of an expression sometimes fails to copy entitiesSteve Baird1-21/+0
2024-06-13ada: Missing support for 'Old with overloaded functionJavier Miranda1-0/+12
2024-06-10ada: Tune code related to potentially unevaluated expressionsPiotr Trojanek1-5/+3
2024-06-10ada: Simplify check for type without stream operationsPiotr Trojanek1-4/+0
2024-05-20ada: Get rid of secondary stack for indefinite record types with size clauseEric Botcazou1-0/+12
2024-05-20ada: Implement representation aspect Max_Entry_Queue_LengthJose Ruiz1-9/+24
2024-05-17ada: Fix for validity checking and conditional evaluation of 'OldPiotr Trojanek1-0/+8
2024-05-17ada: Expose utility routine for processing of Depends contracts in SPARKPiotr Trojanek1-0/+23
2024-05-17ada: Fix containers' Reference_Preserving_Key functions' memory leaksSteve Baird1-1/+5
2024-05-16ada: Implement new experimental attribute 'SuperJustin Squirek1-0/+17
2024-05-16ada: No need to follow New_Occurrence_Of with Set_EtypePiotr Trojanek1-4/+7
2024-05-16ada: Fix detection of if_expressions that are known on entryPiotr Trojanek1-3/+1
2024-05-16ada: Fix bug in maintaining dimension infoSteve Baird1-0/+3
2024-05-14ada: Minor typo fix in commentMarc Poulhiès1-2/+2
2024-05-14ada: Spurious unreferenced warning on selected componentJustin Squirek1-1/+5
2024-05-13ada: Remove code that expected pre/post being split into conjunctsPiotr Trojanek1-27/+2
2024-05-13ada: Deconstruct flag Split_PPC since splitting now is done in expansionPiotr Trojanek1-60/+13
2024-05-13ada: Refine type of a local variablePiotr Trojanek1-1/+1
2024-05-13ada: Refactor repeated code for querying Boolean-valued aspectsPiotr Trojanek1-5/+23
2024-05-13ada: Rewrite Append_Entity_Name; skip irrelevant namesBob Duff1-77/+51
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-2/+2
2024-05-13ada: Avoid crash on illegal constrained type declarationsPiotr Trojanek1-1/+4
2024-05-07ada: Fix calculation of tasks in null arraysPiotr Trojanek1-1/+2
2024-05-07ada: Prevent calculation of negative stack countsPiotr Trojanek1-2/+2
2024-05-07ada: Fix crash on body postconditionBob Duff1-2/+4
2024-05-07ada: Fix spurious error on generic state in SPARKYannick Moy1-0/+8
generated by cgit v1.1 at 2025-01-16 22:01:30 +0000