aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-05-22ada: Fix error and crash on imported function with precondition and 'BaseEric Botcazou1-3/+4
2023-05-22ada: Reject illegal declarations in expression functionsSteve Baird1-0/+10
2023-05-22ada: Better error message if non-Ada2022 code declares No_Return functionSteve Baird1-4/+6
2023-05-22ada: Fix double finalization in conditional exit statementEric Botcazou1-2/+5
2023-05-22ada: Fix handling of constrained array declarations in declare-expressionEric Botcazou1-2/+2
2023-05-22ada: Fix traversal for the rightmost node of a pretty-printed expressionPiotr Trojanek1-46/+101
2023-05-22ada: Restrict expression pretty-printer to subexpressionsPiotr Trojanek1-19/+23
2023-05-22ada: Don't pretty-print DEL within expression imagesPiotr Trojanek1-1/+1
2023-05-22ada: Update Controlling_Argument when copying treesPiotr Trojanek2-4/+70
2023-05-22ada: update Ada_Version_Type in fe.h to match opt.adsBob Duff2-12/+20
2023-05-22ada: prevent infinite recursion in Collect_Types_In_HierarchyBob Duff2-0/+14
2023-05-19Daily bump.GCC Administrator1-0/+20
2023-05-18ada: use _P() defines from tree.hBernhard Reutner-Fischer4-31/+30
2023-05-17Daily bump.GCC Administrator1-0/+213
2023-05-16ada: Add "gnat --help-ada" text for new switches.Steve Baird1-0/+4
2023-05-16ada: Use accumulator type in expansion of 'Reduce attributeEric Botcazou1-10/+62
2023-05-16ada: Fix missing warning on aggregate with iterated componentEric Botcazou1-1/+0
2023-05-16ada: Fix crash on iterated component in expression functionEric Botcazou1-6/+8
2023-05-16ada: Fix internal error on 'Image applied to array componentEric Botcazou1-2/+21
2023-05-16ada: Fix internal error on chain of predicated record typesEric Botcazou1-6/+21
2023-05-16ada: Update proof of runtime unitsYannick Moy6-45/+31
2023-05-16ada: Implement inheritance of user-defined literal aspects for untagged typesEric Botcazou3-8/+38
2023-05-16ada: Spurious error analyzing 'old or 'result in class-wide conditionsJavier Miranda1-2/+21
2023-05-16ada: Spurious error on function returning CPP typeJavier Miranda1-1/+6
2023-05-16ada: Apply range checks to preanalyzed aggregate expressionsPiotr Trojanek1-1/+1
2023-05-16ada: usage.adb: document -gnatyD switchGhjuvan Lacambre1-0/+1
2023-05-16ada: Fix Ada representation of r_debug and link_map typesMarc Poulhiès1-6/+13
2023-05-16ada: Enable Support_Atomic_Primitives on PPC LinuxJohannes Kliemann3-0/+151
2023-05-16ada: Follow-up improvement to implementation of storage modelsEric Botcazou1-0/+16
2023-05-16ada: Add tags on style messagesArnaud Charlet10-62/+75
2023-05-16ada: Fix typo in "pattern"Tom Tromey3-4/+4
2023-05-16ada: Adjust semantics and implementation of storage modelsEric Botcazou8-82/+274
2023-05-16ada: Build invariant procedure while freezing in GNATprove modePiotr Trojanek1-8/+46
2023-05-16ada: Get name from entity if that's what's passed to Subprogram_NameRichard Kenner1-0/+3
2023-05-16ada: Document examples of No_Dependence restriction for code generationEric Botcazou2-2/+43
2023-05-16ada: Bad handling of ASCII with -gnatynArnaud Charlet2-3/+3
2023-05-16ada: Introduce Cannot_Be_Superflat flag on N_Range nodesEric Botcazou4-9/+22
2023-05-16ada: Change Present_Expr field type to UintRichard Kenner1-1/+1
2023-05-16ada: Simplify dramatically ghost code for proof of System.Arith_DoubleYannick Moy2-384/+56
2023-05-16ada: Add intermediate assertions for proof of Super_TailYannick Moy1-0/+6
2023-05-16ada: Missing dependency with -gnatcArnaud Charlet1-11/+11
2023-05-16ada: Set Loop_Variant assertion policy to Ignore in bothYannick Moy1-1/+2
2023-05-16ada: Trivial refactoring in Instantiate_*_BodyMarc Poulhiès1-10/+6
2023-05-16ada: Restore proof of System.Arith_DoubleYannick Moy1-31/+119
2023-05-16Daily bump.GCC Administrator1-0/+220
2023-05-15ada: Fix typo in commentMarc Poulhiès1-1/+1
2023-05-15ada: Add annotations for proof of termination of runtime unitsYannick Moy7-0/+66
2023-05-15ada: Recover proof of runtime unitsYannick Moy2-5/+7
2023-05-15ada: Recover proof of Interfaces.C for terminationYannick Moy1-1/+9
2023-05-15ada: Fix comment related to inliningBob Duff1-3/+1
generated by cgit v1.1 at 2024-10-20 23:52:42 +0000