aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-05-26ada: Cleanups in handling of aggregatesPiotr Trojanek5-26/+24
2023-05-26ada: Fix iteration over component items with pragmasPiotr Trojanek2-4/+4
2023-05-26ada: Duplicate declaration of _master entityJavier Miranda3-23/+40
2023-05-26ada: Remove redundant guards from handling of record componentsPiotr Trojanek1-6/+1
2023-05-26ada: Remove Is_Descendant_Of_Address flag from Standard_AddressEric Botcazou4-13/+20
2023-05-26ada: Handle new Controlling_Tag format when converting to SCILGhjuvan Lacambre2-10/+29
2023-05-26ada: Use context variables in expansion of aggregatesPiotr Trojanek1-10/+7
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou6-228/+222
2023-05-26ada: Minor tweak in conditionEric Botcazou1-1/+1
2023-05-26ada: Simplify expansion of positional aggregatesPiotr Trojanek1-9/+3
2023-05-26ada: Use computed value from os_constants to define sigset_tDoug Rupp1-1/+3
2023-05-26ada: Fix another couple of unchecked conversions to Ada.Tags.TagEric Botcazou1-54/+17
2023-05-26ada: Refine types for an accessibility-checking routinePiotr Trojanek1-2/+2
2023-05-26ada: Clean style in expansion of array aggregatesPiotr Trojanek1-7/+5
2023-05-26ada: Fix late extra formals creationRonan Desplanques1-0/+1
2023-05-26ada: Add missing guards in Selected_Range_ChecksEric Botcazou1-0/+2
2023-05-26ada: Enhance Is_Null_Range and Not_Null_Range predicatesEric Botcazou3-9/+11
2023-05-26Daily bump.GCC Administrator1-0/+360
2023-05-25ada: Missing warning on null-excluding array aggregate componentJavier Miranda2-3/+165
2023-05-25ada: Expect Exceptional_Cases as a context for attribute OldPiotr Trojanek1-6/+10
2023-05-25ada: Use procedural variant of Next_Index where possiblePiotr Trojanek2-4/+4
2023-05-25ada: Crash on empty aggregate using the Ada 2022 notationJavier Miranda1-1/+3
2023-05-25ada: Enable Support_Atomic_Primitives on VxWorks 7 PPCJohannes Kliemann2-2/+2
2023-05-25ada: Fix internal error on declare-expression in post-conditionEric Botcazou1-5/+7
2023-05-25ada: Require successful build of xsnamestTom Tromey1-1/+1
2023-05-25ada: Minor adjustments to Standard_AddressEric Botcazou2-4/+16
2023-05-25ada: Add size clause to System.AddressEric Botcazou43-0/+86
2023-05-25ada: Fix error message for Aggregate aspectMarc Poulhiès1-2/+2
2023-05-25ada: Switch from E_Void to Is_Not_Self_HiddenBob Duff6-80/+71
2023-05-25ada: Decouple size of addresses and pointers from size of memory spaceEric Botcazou11-31/+18
2023-05-25ada: Fix copying of quantified expressionsPiotr Trojanek1-1/+4
2023-05-25ada: Deconstruct a no longer used parameter of New_Copy_TreePiotr Trojanek2-19/+10
2023-05-25ada: Clean up copying of node treesPiotr Trojanek1-3/+1
2023-05-25ada: Simplify copying of node listsPiotr Trojanek1-6/+1
2023-05-25ada: Avoid duplicated streaming subprogramsSteve Baird5-150/+286
2023-05-25ada: Fix crash during function return analysisMarc Poulhiès1-0/+1
2023-05-25ada: Remove unused initial value of a local variablePiotr Trojanek1-1/+1
2023-05-25ada: Fix (again) incorrect handling of Aggregate aspectMarc Poulhiès2-7/+14
2023-05-25ada: Prevent search of calls in preconditions from going too farPiotr Trojanek1-0/+5
2023-05-25ada: Fix comments for recently added SPARK aspectsPiotr Trojanek5-9/+19
2023-05-25ada: Add missing supportive code for recently added SPARK aspectsPiotr Trojanek2-21/+27
2023-05-25ada: Tune handling of attributes Old in contract Exceptional_CasesPiotr Trojanek1-2/+30
2023-05-25ada: Remove redundant guards from calls to Move_AspectsPiotr Trojanek3-12/+4
2023-05-25ada: Small tweak to implementation of by-copy semantics for storage modelsEric Botcazou1-25/+4
2023-05-25ada: Fix copy-paste mistake in analysis of Exceptional_CasesPiotr Trojanek1-3/+3
2023-05-25ada: Enrich documentation of subprogramRonan Desplanques1-1/+5
2023-05-25ada: Maximize use of existing constantRonan Desplanques1-2/+2
2023-05-25ada: Reduce span of variableRonan Desplanques1-1/+1
2023-05-25ada: Set Is_Not_Self_Hidden flag in more casesBob Duff3-3/+11
2023-05-25ada: Handle controlling access parameters in DTWsRonan Desplanques2-7/+7
generated by cgit v1.1 at 2024-10-21 19:27:41 +0000