aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2024-05-18Fix Ada runtime library breakage on SolarisEric Botcazou5-8/+15
2024-05-17Remove spurious lineEric Botcazou1-1/+0
2024-05-17ada: Improve deriving initial sizes for container aggregatesViljar Indus1-28/+55
2024-05-17ada: Remove outdated workaround in aggregate expansionRonan Desplanques1-5/+4
2024-05-17ada: Start the initialization of the tasking runtime earlierEric Botcazou3-12/+40
2024-05-17ada: Improve test for unprocessed preprocessor directivesSteve Baird1-61/+122
2024-05-17ada: Restore dependency on System.OS_Interface in System.Task_PrimitivesEric Botcazou1-1/+2
2024-05-17ada: Further adjustments coming from aliasing considerationsEric Botcazou2-0/+14
2024-05-17ada: Replace spinlocks with fully-fledged locks in finalization collectionsEric Botcazou54-368/+723
2024-05-17ada: Document secondary usage of Materialize_Entity flagEric Botcazou1-2/+3
2024-05-17ada: Bug in computing local restrictions inherited from enclosing scopes.Steve Baird1-13/+19
2024-05-17ada: Factor out duplicated code in bodies of System.Task_Primitives.OperationsEric Botcazou5-129/+90
2024-05-17ada: Fix for validity checking and conditional evaluation of 'OldPiotr Trojanek1-0/+8
2024-05-17ada: Do not query the modification time of a special file.Steve Baird1-2/+16
2024-05-17ada: Disable Equivalent_Array_Aggregate optimization if predicates involvedSteve Baird1-0/+1
2024-05-17ada: Clarify code for aggregate warningsRonan Desplanques1-27/+25
2024-05-17ada: Fix others error message locationRonan Desplanques1-24/+19
2024-05-17ada: Expose utility routine for processing of Depends contracts in SPARKPiotr Trojanek3-29/+28
2024-05-17ada: Couple of adjustments coming from aliasing considerationsEric Botcazou4-9/+71
2024-05-17ada: gnatbind: subprogram spec no longer existsBob Duff5-98/+141
2024-05-17ada: Update docs for Resolve_Null_Array_AggregateRonan Desplanques1-6/+6
2024-05-17ada: Fix containers' Reference_Preserving_Key functions' memory leaksSteve Baird7-3/+61
2024-05-17ada: correction to gnatbind-related cleanupsBob Duff1-3/+2
2024-05-17ada: gnatbind-related cleanupsBob Duff3-45/+28
2024-05-17ada: Make raise-gcc.c compatible with ClangSebastian Poeplau1-0/+8
2024-05-17ada: Fix crash caused by missing New_Copy_treeMarc Poulhiès1-3/+6
2024-05-17ada: Fix Constraint_Error on mutable assignmentBob Duff1-1/+2
2024-05-17ada: Only record types with discriminants can be unconstrainedPiotr Trojanek1-7/+4
2024-05-17ada: Simplify code for private types with unknown discriminantsPiotr Trojanek2-6/+4
2024-05-17ada: Allow private items with unknown discriminants as Depends inputsPiotr Trojanek1-2/+4
2024-05-17ada: Tune detection of unconstrained and tagged items in Depends contractPiotr Trojanek1-4/+4
2024-05-17ada: Fix probable copy/paste errorMarc Poulhiès3-10/+8
2024-05-17ada: Check subtype to avoid a precondition failureViljar Indus1-2/+3
2024-05-17ada: Fix checking range constraints within composite typesViljar Indus1-0/+50
2024-05-17ada: Remove superfluous Relocate_Node callsRonan Desplanques2-2/+2
2024-05-17ada: Small cleanup in aggregate expansion codeRonan Desplanques1-8/+8
2024-05-17ada: Add support for 'Object_Size to pragma Compile_Time_{Warning,Error}Eric Botcazou1-64/+65
2024-05-16ada: Remove obsolete reference in commentEric Botcazou1-4/+4
2024-05-16ada: Reset scope of top level object declaration during unnestingMarc Poulhiès1-4/+27
2024-05-16ada: Redundant validity checksSteve Baird2-0/+8
2024-05-16ada: Exception on Indefinite_Vector aggregate with loop_parameter_specificationGary Dismukes3-20/+11
2024-05-16ada: Implement new experimental attribute 'SuperJustin Squirek8-467/+605
2024-05-16ada: Fix reference to RM clause in commentRonan Desplanques1-1/+1
2024-05-16ada: Fix missing length checks with case expressionsRonan Desplanques2-4/+17
2024-05-16ada: Fix standalone Windows builds of adaint.cSebastian Poeplau1-0/+7
2024-05-16ada: Avoid checking parameters of protected proceduresViljar Indus1-2/+5
2024-05-16ada: Ignore ghost nodes in call graph information for dispatching callsPiotr Trojanek1-9/+8
2024-05-16ada: Fix reason code for length checkRonan Desplanques1-5/+8
2024-05-16ada: Propagate Program_Error from failed finalization of collectionEric Botcazou1-6/+6
2024-05-16ada: Improve recovery from illegal occurrence of 'Old in if_expressionPiotr Trojanek1-1/+1