aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
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
2023-05-15ada: Improve check of attribute referenceRonan Desplanques1-2/+4
2023-05-15ada: Fix minor documentation formatting issueRonan Desplanques3-4/+12
2023-05-15ada: Optimize 2**N to avoid explicit 'if' in modular caseBob Duff1-105/+26
2023-05-15ada: Add Check_Error_Detected before "raise Bad_Attribute"Bob Duff1-0/+1
2023-05-15ada: Fix handling of pragma Warnings (Toolname, Off/On)Yannick Moy1-4/+5
2023-05-15ada: Fix invalid JSON for extended variant record with -gnatRjEric Botcazou2-9/+52
2023-05-15ada: Fix proof of runtime unit System.Value*Claire Dross2-30/+64
2023-05-15ada: Allow pragmas Annotate between loop pragmasYannick Moy1-0/+8
2023-05-15ada: INOX: prototype RFC on String InterpolationJavier Miranda3-2/+223
2023-05-15ada: GNAT UGN: Add section documenting PIE being enabled by default on LinuxJoel Brobecker3-106/+194
2023-05-15ada: Skip dynamic interface conversion under native runtimeJavier Miranda1-7/+91
2023-05-15ada: Reject attribute Initialize on unchecked unionsPiotr Trojanek1-1/+8
2023-05-15ada: Fix Unchecked_Conversion in edge caseRonan Desplanques1-2/+2
2023-05-15ada: Fix link to parent when copying with Copy_Separate_TreePiotr Trojanek3-61/+71
2023-04-19Daily bump.GCC Administrator1-0/+4
2023-04-18Fixed typo.Jin Ma1-1/+1
2023-04-18Daily bump.GCC Administrator1-0/+4
2023-04-17ada: bump Library_Version to 14.Martin Liska1-1/+1
2023-04-16Daily bump.GCC Administrator1-0/+8
2023-04-15Fix fallout of previous change on x86/LinuxEric Botcazou1-6/+16
2023-04-15Daily bump.GCC Administrator1-0/+7
2023-04-14Fix build failure of Ada runtime for Aarch64 targetsEric Botcazou1-2/+6
generated by cgit v1.1 at 2024-07-19 09:31:52 +0000