aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
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
2023-05-15ada: Use Inline aspect instead of pragma in Einfo.UtilsBob Duff2-299/+176
2023-05-15ada: Fix formatting inconsistency in User's GuideRonan Desplanques1-2/+2
2023-05-15ada: Remove duplicated code in Proc_Next_Component_Or_DiscriminantBob Duff1-5/+1
2023-05-15ada: Improve comment on First_EntityBob Duff1-5/+6
2023-05-15ada: Clean up vanishing entity fieldsBob Duff9-96/+131
2023-05-15ada: Fix internal error on instance in package body with -gnatnEric Botcazou1-0/+4
2023-05-15ada: Remove redundant protection against empty listsPiotr Trojanek1-9/+6
2023-05-15ada: Simplify lookup of predecessor in homonym chainRonan Desplanques1-2/+1
2023-05-15ada: Accept aggregates with OTHERS clause in unchecked type conversionsPiotr Trojanek1-0/+1
2023-05-15ada: Emit warnings for (some) ineffective static predicate testsSteve Baird5-26/+158
2023-05-15ada: Update comment after SPARK RM changeYannick Moy1-1/+1
generated by cgit v1.1 at 2024-09-28 07:18:22 +0000