aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-01-29Daily bump.GCC Administrator1-0/+6
2022-01-28Fix wrong operator for universal_integer operands in instanceEric Botcazou1-1/+5
2022-01-20Daily bump.GCC Administrator1-0/+16
2022-01-19[Ada] Set target_cpu to x32 for x86_64-linux-gnux32H.J. Lu1-0/+7
2022-01-19[Ada] Compile s-mmap and 128bit on x86_64-linux-gnux32H.J. Lu1-0/+5
2022-01-19Daily bump.GCC Administrator1-0/+80
2022-01-18Ada: Revert filename changes in comments.Martin Liska12-12/+12
2022-01-18Revert Ada .cc renaming renaming.Martin Liska33-38/+32
2022-01-18Daily bump.GCC Administrator1-0/+117
2022-01-17Manual changes for .cc renaming.Martin Liska3-7/+13
2022-01-17Change references of .c files to .cc filesMartin Liska22-63/+63
2022-01-17Rename .c files to .cc files.Martin Liska36-0/+0
2022-01-15Daily bump.GCC Administrator1-0/+6
2022-01-14ada: Fix up handling of ghost units [PR104027]Andrew Pinski1-0/+5
2022-01-12Daily bump.GCC Administrator1-0/+2447
2022-01-11[Ada] Relax assertion on designated types for equality operatorsEric Botcazou1-9/+14
2022-01-11[Ada] Include generic instance names in non-visible entity errorsJustin Squirek1-2/+21
2022-01-11[Ada] Accept square brackets for expression functionsEtienne Servais1-1/+8
2022-01-11[Ada] Task arrays trigger spurious unreferenced warningsJustin Squirek1-6/+3
2022-01-11[Ada] Remove unreferenced CCG-specific routine Insert_DeclarationPiotr Trojanek2-49/+0
2022-01-11[Ada] Avoid redundant checks for empty listsPiotr Trojanek5-12/+6
2022-01-11[Ada] Remove name constant used by GNATprove but not by GNATPiotr Trojanek1-0/+1
2022-01-11[Ada] Reduce scope of declare block in analysis of allocatorsPiotr Trojanek1-161/+160
2022-01-11[Ada] Balance parentheses in comments about allocatorsPiotr Trojanek2-3/+3
2022-01-11[Ada] Remove unreferenced name constantsPiotr Trojanek1-37/+0
2022-01-11[Ada] Adapt proof of System.Arith_DoubleYannick Moy1-9/+34
2022-01-11[Ada] Deconstruct a VMS utility routine which is only used by GNATprovePiotr Trojanek2-93/+0
2022-01-11[Ada] Recover proof of Ada.Strings.Fixed with assertionsYannick Moy1-3/+13
2022-01-11[Ada] PR ada/79724Arnaud Charlet1-5/+1
2022-01-11[Ada] Remove unnecessary block in code for expansion of allocatorsPiotr Trojanek1-91/+85
2022-01-11[Ada] Fix incomplete debug info for derived packed array typeEric Botcazou1-1/+4
2022-01-11[Ada] Reuse Make_Temporary where possiblePiotr Trojanek5-18/+9
2022-01-11[Ada] Fix check for implicit allocation of dynamic objectsEtienne Servais1-2/+3
2022-01-11[Ada] Proof of unit System.Case_UtilYannick Moy2-11/+104
2022-01-11[Ada] Proof of System.Val_Uns at gold levelClaire Dross20-115/+1066
2022-01-11[Ada] Adapt ghost code to maintain proofYannick Moy1-0/+3
2022-01-11[Ada] Simplify construction of messages about configurable runtimePiotr Trojanek1-15/+2
2022-01-11[Ada] Remove redundant initialization of Test_And_Set_Flag objectPiotr Trojanek1-4/+2
2022-01-11[Ada] Tune inconsistent message about fixed-lower-bound and -gnatXPiotr Trojanek1-18/+3
2022-01-11[Ada] Conformance error on protected subp with anonymous-access-to-tagged formalGary Dismukes1-0/+23
2022-01-11[Ada] Proof of System.Vectors.Boolean_OperationsYannick Moy2-10/+207
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek56-76/+76
2022-01-11[Ada] Code cleanupsArnaud Charlet5-8/+6
2022-01-11[Ada] Remove warnings-as-errors about constraints error in dead codePiotr Trojanek4-7/+26
2022-01-11[Ada] Escalate pre-continuation messages from warnings to errorsPiotr Trojanek1-1/+4
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet2204-2205/+2205
2022-01-11[Ada] Document LLVM-specific flagsRichard Kenner1-3/+9
2022-01-11[Ada] Use atomic builtins for atomic counters on x86 (32bit)Piotr Trojanek2-113/+1
2022-01-11Daily bump.GCC Administrator1-0/+73
2022-01-10[Ada] Fix bogus error on call to subprogram with incomplete profileEric Botcazou1-2/+29
generated by cgit v1.1 at 2024-11-05 09:27:21 +0000