aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-06-15ada: Reject aspect Always_Terminates on functions and generic functionsPiotr Trojanek1-0/+13
2023-06-15ada: Fix missing error on function call returning incomplete viewEric Botcazou1-0/+6
2023-06-15ada: Fix minor issues in commentsRonan Desplanques1-3/+2
2023-06-15ada: Remove Ttypes.Max_Unaligned_FieldEric Botcazou6-28/+2
2023-06-15ada: Fix inverted implementation of RM 8.4(10) clause for operatorsEric Botcazou1-1/+1
2023-06-15ada: Accept aspect Always_Terminates without expressionPiotr Trojanek3-51/+53
2023-06-15ada: Crash on C++ constructor of private typeJavier Miranda1-2/+18
2023-06-15ada: Remove obsolete references for Build_Transient_Object_StatementsEric Botcazou1-3/+3
2023-06-15ada: Fix aspect Linker_Section ignored on subprogram bodyEric Botcazou1-12/+22
2023-06-15ada: Cleanup analysis of iterated component associationPiotr Trojanek1-7/+5
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
generated by cgit v1.1 at 2024-10-02 12:19:19 +0000