aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
4 daysDaily bump.GCC Administrator1-0/+115
4 daysada: Update Assertion_Policy handling in GNATProve modeViljar Indus14-77/+87
4 daysada: Make pp and friends more robustBob Duff1-9/+7
4 daysada: Check Compile_Time_Errors removed in Ghost codeViljar Indus1-0/+8
4 daysada: Refactor Validate_Compile_Time_Warning_Or_ErrorViljar Indus1-90/+102
4 daysada: Implement accessibility legality check for discriminated function result.Steve Baird1-1/+11
4 daysada: Keep Ghost_Mode related variables in a recordViljar Indus20-156/+128
4 daysada: Avoid generating incorrect warningSteve Baird1-0/+2
4 daysada: Fix code quality issue in table.adbViljar Indus2-3/+3
4 daysada: Misc parser cleanupBob Duff5-229/+236
8 daysDaily bump.GCC Administrator1-0/+199
8 daysRevert "Ada: Add System.C_Time and GNAT.C_Time units to libgnat"Eric Botcazou71-546/+2164
8 daysAda: Fix miscompilation of GNAT tools with -march=znver3Eric Botcazou1-4/+4
8 daysAda: Add System.C_Time and GNAT.C_Time units to libgnatNicolas Boulenguez71-2164/+546
11 daysDaily bump.GCC Administrator1-0/+4
12 daysada: Minor typo fix in commentMarc Poulhiès1-1/+1
14 daysDaily bump.GCC Administrator1-0/+57
2025-07-25diagnostics: make context::m_source_printing privateDavid Malcolm1-1/+1
2025-07-25diagnostics: convert diagnostic_t to enum class diagnostics::kindDavid Malcolm1-6/+6
2025-07-25diagnostics: move diagnostic_context to diagnostics::context in its own headerDavid Malcolm1-1/+1
2025-07-25ada: Minor cleanupMarc Poulhiès1-15/+16
2025-07-25ada: ppc-vx6: pthread clocks and headers for declsAlexandre Oliva3-1/+17
2025-07-25ada: Follow up fixes.Steve Baird1-0/+21
2025-07-25ada: Bug in Indefinite_Holders instance passed to formal packageBob Duff1-0/+6
2025-07-25ada: Update commentsRonan Desplanques1-8/+8
2025-07-25ada: Fix regression of finalization primitive selectionRonan Desplanques1-0/+2
2025-07-25ada: Fix inconsistencies in conversion functions from DurationEric Botcazou3-17/+42
2025-07-25Daily bump.GCC Administrator1-0/+31
2025-07-24ada: Use-before-definition of a component of discriminated aggregate's itype.Steve Baird1-0/+2
2025-07-24ada: Function return accessibility checking for result access discrims.Steve Baird4-7/+280
2025-07-24ada: Minor adjustment to the doc of Last_Chance_HandlerTonu Naks2-7/+7
2025-07-23Daily bump.GCC Administrator1-0/+272
2025-07-22ada: Nested use_type_clause with "all" cancels use_type_clause with wider scopeGary Dismukes1-1/+9
2025-07-22ada: Only fold array attributes in SPARK when prefix is safe to evaluatePiotr Trojanek1-0/+42
2025-07-22ada: Fix minor issues in commentsRonan Desplanques2-6/+6
2025-07-22ada: Add destructors extensionRonan Desplanques12-97/+478
2025-07-22ada: Fix crash when creating extra formals for aliased typesDenis Mazzucato1-3/+4
2025-07-22ada: Fix generation of Initialize and Adjust callsRonan Desplanques6-37/+36
2025-07-22ada: Remove obsolete code from Safe_Unchecked_Type_ConversionEric Botcazou2-45/+0
2025-07-22ada: Wrong dispatch on result in presence of dependent expressionJavier Miranda8-43/+127
2025-07-22ada: Additional condition for Capacity discriminant on bounded container aggr...Gary Dismukes3-17/+29
2025-07-22ada: Fix assertion failure on aggregate with controlled componentEric Botcazou1-9/+4
2025-07-22ada: Fix unnecessary extra RE_Activation_Chain_Access with No_Task_PartsDenis Mazzucato6-15/+45
2025-07-22ada: Adding support to defer the addition of extra formalsJavier Miranda20-563/+1621
2025-07-22ada: Tune recent change for bit-packed arrays to help GNATprove backendPiotr Trojanek1-1/+1
2025-07-22ada: Expand continue procedure calls for GNATproveMartin Clochard1-0/+24
2025-07-22ada: Tune check for restriction No_Relative_Delay and call to Set_HandlerPiotr Trojanek1-1/+3
2025-07-22ada: Fix wrong indirect access to bit-packed array in iterated loopEric Botcazou1-39/+21
2025-07-22ada: Replace "not Present" test with "No" testGary Dismukes1-2/+1
2025-07-22ada: Capacity determination for container aggregate with container iteratorGary Dismukes1-5/+87