aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-06-14Daily bump.GCC Administrator1-0/+326
2023-06-13ada: Fix decoration of iterated component association for GNATprovePiotr Trojanek1-8/+1
2023-06-13ada: Add missing ss_mark/ss_release in quantified expressionsBob Duff1-0/+26
2023-06-13ada: Recognize iterated_component_association as repeatedly evaluatedPiotr Trojanek1-1/+2
2023-06-13ada: Recognize iterated_component_association as potentially unevaluatedPiotr Trojanek1-4/+10
2023-06-13ada: Disable inlining in potentially unevaluated contextsPiotr Trojanek1-15/+6
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek17-24/+295
2023-06-13ada: Skip elaboration checks for abstract subprograms on derived typesPiotr Trojanek1-1/+4
2023-06-13ada: Fix another case of missing Has_Private_View flagEric Botcazou1-1/+1
2023-06-13ada: Fix iterated component initializationMarc Poulhiès1-3/+8
2023-06-13ada: Fix exception raised on invalid contract in generic packageEric Botcazou1-10/+21
2023-06-13ada: Fix spurious error on call to function returning private in genericEric Botcazou2-58/+63
2023-06-13ada: Fix internal error on imported function with post-conditionEric Botcazou1-0/+16
2023-06-13ada: Streamline expansion of controlled actions for aggregatesEric Botcazou9-750/+142
2023-06-13ada: Remove obsolete code in Analyze_AssignmentEric Botcazou1-155/+1
2023-06-13ada: Remove unreferenced routine Is_Inherited_Operation_For_TypePiotr Trojanek2-21/+0
2023-06-13ada: Small housekeeping work in expansion of extension aggregatesEric Botcazou1-21/+15
2023-06-13ada: Fix wrong expansion of limited extension aggregateEric Botcazou1-2/+0
2023-06-13ada: Mark attribute Initialized as ghost codeYannick Moy3-1/+25
2023-06-13ada: Add No_Elaboration_Code_All pragma to System.Storage_ElementsDaniel King1-0/+3
2023-06-13ada: Factor out tag assignments from type in expanderEric Botcazou5-124/+57
2023-06-13ada: Use ghost predicate in standard libraryYannick Moy2-2/+6
2023-06-13ada: Fix expansion of aggregates with controlled componentsEric Botcazou1-3/+99
2023-06-13ada: Factor common processing in expansion of aggregatesEric Botcazou1-640/+360
2023-06-13ada: Remove wrong comment about expansion of exceptions for GNATprovePiotr Trojanek1-5/+3
2023-06-13ada: Cleanup finding of locally handled exception handlersPiotr Trojanek1-35/+33
2023-06-13ada: Cleanup expansion of locally handled exception handlersPiotr Trojanek2-71/+55
2023-06-13ada: Tune style in detection of writable function actualsPiotr Trojanek1-4/+6
2023-06-13ada: Simplify appending to a newly created listPiotr Trojanek1-3/+3
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy23-634/+772
2023-06-13ada: Remove explicit decoration of wrapper created in freezingPiotr Trojanek1-2/+0
2023-05-31Daily bump.GCC Administrator1-0/+180
2023-05-30ada: Fix wrong access for qualified aggregate with storage modelEric Botcazou1-3/+6
2023-05-30ada: Fix internal error on qualified aggregate with storage modelEric Botcazou1-17/+19
2023-05-30ada: Add missing guards for degenerate storage modelsEric Botcazou1-5/+10
2023-05-30ada: Fix incorrect copies being used with 'AddressMarc Poulhiès1-4/+9
2023-05-30ada: Fix bogus Storage_Error on dynamic array with static zero lengthEric Botcazou1-4/+21
2023-05-30ada: Fix minor issue with Mod operatorEric Botcazou1-4/+4
2023-05-30ada: Minor generic tweaks left and and rightEric Botcazou4-12/+14
2023-05-30ada: Make internal_error_function more robustEric Botcazou1-6/+16
2023-05-30ada: Adjust again the implementation of storage modelsEric Botcazou1-22/+29
2023-05-30ada: Simplify the implementation of storage modelsEric Botcazou1-103/+27
2023-05-30ada: Make use of Cannot_Be_Superflat flag on N_Range nodesEric Botcazou2-3/+4
2023-05-30ada: Disable PIE mode during the build of the Ada front-endEric Botcazou1-13/+3
2023-05-30ada: Fix storage model handling for dereference as lvalue and renamingsMarc Poulhiès1-3/+21
2023-05-30ada: Small cleanups and fixes in expansion of aggregatesEric Botcazou1-62/+28
2023-05-30ada: Fix wrong expansion of array aggregate with noncontiguous choicesEric Botcazou1-20/+18
2023-05-30ada: Fix internal error on array constant in expression functionEric Botcazou1-4/+21
2023-05-30ada: Fix fallout of recent fix for missing finalizationEric Botcazou1-10/+26
2023-05-30ada: Add System.Traceback.Symbolic.Module_Name support on AArch64 LinuxJoel Brobecker1-0/+2
generated by cgit v1.1 at 2024-10-02 12:21:33 +0000