aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2024-05-07ada: Fix calculation of tasks in null arraysPiotr Trojanek1-1/+2
2024-05-07ada: Prevent calculation of negative stack countsPiotr Trojanek7-20/+20
2024-05-07ada: Cleanup calculation of task stacksPiotr Trojanek1-18/+13
2024-05-07ada: Fix grammar in commentPiotr Trojanek1-1/+1
2024-05-07ada: Remove redundant guard against empty list of declarationsPiotr Trojanek1-2/+1
2024-05-07ada: Remove redundant guard against empty list of actionsPiotr Trojanek1-14/+11
2024-05-07ada: Cleanup detection of per-object constraints in inlining for SPARKPiotr Trojanek1-14/+14
2024-05-07ada: Simplify detection of the enclosing scopePiotr Trojanek1-4/+1
2024-05-07ada: Reduce scope in the analysis of access attributesPiotr Trojanek1-7/+8
2024-05-07ada: Fix detection of components with per-object constraintsPiotr Trojanek2-80/+14
2024-05-07ada: Fix bad interaction between homogeneous finalization master and BIP prot...Eric Botcazou11-523/+32
2024-05-07ada: Add Global contracts to Ada.Numerics.Generic_Elementary_FunctionsJoffrey Huguet1-46/+74
2024-05-07ada: Remove obsolete field Postconditions_ProcEric Botcazou3-8/+0
2024-05-07ada: Fix typo in documentation commentRonan Desplanques1-1/+1
2024-05-07ada: Fix crash on body postconditionBob Duff3-67/+13
2024-05-07ada: Adapt proof of runtime unitsYannick Moy4-5/+24
2024-05-07Update copyright years.Marc Poulhiès2-2/+2
2024-05-07ada: Improve pragma No_Return's pre-Ada2022 handling of functionsSteve Baird1-69/+97
2024-05-07ada: Fix LTO type mismatches in GNAT.Sockets.ThinEric Botcazou2-18/+170
2024-05-07ada: Aspects on multiple component declarationsBob Duff10-59/+45
2024-05-07ada: Bad internal naming when using pragma Compile_Time_ErrorJustin Squirek1-1/+17
2024-05-07ada: Fix missing flag for GNATproveYannick Moy1-0/+11
2024-05-07ada: Fix spurious error on generic state in SPARKYannick Moy1-0/+8
2024-05-07ada: Reject non-statically compatible extended return statementJavier Miranda2-2/+27
2024-05-07ada: Minor comment improvementBob Duff1-1/+1
2024-05-07ada: Fix bug in overloaded selected_components in aspect_specificationsBob Duff1-4/+11
2024-05-07ada: Fix Program_Error raised during generation of data representation in JSONEric Botcazou1-0/+6
2024-05-07ada: SPARK rule changed on functions with side effectsYannick Moy1-0/+5
2024-05-07ada: Accept constants of access types as globals of side-effect functionPiotr Trojanek1-1/+3
2024-05-07ada: Update comment about implicit inputs of Depends contractPiotr Trojanek1-2/+1
2024-05-07Daily bump.GCC Administrator1-0/+252
2024-05-06ada: Allow use of writable parameters inside function with side-effectsPiotr Trojanek1-2/+3
2024-05-06ada: Cleanup collecting of implicit outputsPiotr Trojanek1-11/+11
2024-05-06ada: Support writable parameters in Depends with side-effectsPiotr Trojanek1-8/+13
2024-05-06ada: Excess finalization on return of call to dispatching constructorGary Dismukes1-0/+10
2024-05-06ada: Give error for reference to nonvisible library unitBob Duff1-20/+29
2024-05-06ada: Tweak discriminant source locationsRonan Desplanques1-1/+2
2024-05-06ada: Do not attempt to generate finalization actions with restricted profileEric Botcazou2-3/+11
2024-05-06ada: Small cleanup in C/C++ front-end interfaceEric Botcazou1-231/+41
2024-05-06ada: Deconstruct support for abstract states with Relaxed_InitializationPiotr Trojanek7-47/+12
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-1/+2
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-0/+4
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-10/+10
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-0/+10
2024-05-06ada: Fix RM reference in commentRonan Desplanques1-1/+1
2024-05-06ada: Make a couple of comment tweaksEric Botcazou1-5/+4
2024-05-06ada: Rework processing of special objects needing finalizationEric Botcazou10-380/+500
2024-05-06ada: Replace references to PO_Simple by Protected_Objects in commentsEric Botcazou3-4/+10
2024-05-06ada: Fix wrong Finalization_Size for No_Heap_Finalization objectsEric Botcazou1-1/+9
2024-05-06ada: Fix spurious warning emissionRonan Desplanques5-10/+13
generated by cgit v1.1 at 2024-07-18 14:15:31 +0000