aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2 hoursDaily bump.GCC Administrator1-0/+225
17 hoursada: Implement support for Is_Link_Once flag on entitiesEric Botcazou4-71/+101
17 hoursada: Initial support for Extended Access typesMarc Poulhiès7-184/+691
17 hoursada: Make error recovery for structural generic instantiation more robustEric Botcazou1-0/+4
17 hoursada: Remove unnecessary declare blockPiotr Trojanek1-41/+38
17 hoursada: Preliminary implementation of structural generic instantiationEric Botcazou26-131/+1658
17 hoursada: Fix comment about operational aspectsRonan Desplanques1-1/+1
17 hoursada: Remove commentRonan Desplanques1-3/+1
17 hoursada: Add procedure to write an extended access as a StringMarc Poulhiès4-2/+27
17 hoursada: Add C binding for Is_Extended_Access_TypeMarc Poulhiès2-0/+4
17 hoursada: Do not set Esize for Extended AccessesMarc Poulhiès1-9/+21
17 hoursada: Remove superfluous statementsRonan Desplanques1-2/+0
17 hoursada: Compiler crashes on subunits with Streaming/Put_Image attribute referencesSteve Baird1-15/+40
17 hoursada: Incorrect expansion of VADS Size attribute applied to an array typeGary Dismukes1-3/+3
3 daysDaily bump.GCC Administrator1-0/+39
4 daysada: Fix error message for Stream_SizeRonan Desplanques3-315/+232
4 daysada: Revert "Remove dependence on secondary stack for type with controlled co...Gary Dismukes3-28/+47
4 daysAda, libgnarl: Fix Ada bootstrap for Darwin.Iain Sandoe1-2/+1
4 daysDaily bump.GCC Administrator1-0/+338
4 daysAda: Fix GNAT build failure for x32 multilibEric Botcazou2-74/+1
5 daysada: Fix internal error on aspect in complex object declarationEric Botcazou1-6/+24
5 daysada: Remove dependence on secondary stack for type with controlled componentGary Dismukes3-47/+28
5 daysada: Fix wrong finalization of aliased array of bounded vectorEric Botcazou1-9/+6
5 daysada: Document hardening features not supported by LLVMJose Ruiz3-1/+5
5 daysada: Avoid ghost context errors when preanalyzing Loop_InvariantViljar Indus1-0/+6
5 daysada: Match assertion levels by nameViljar Indus1-1/+1
5 daysada: C_Pass_By_Copy convention incorrectly ignoredSteve Baird2-2/+29
5 daysada: Add Assertion_Policy checks for assertion levelsViljar Indus1-0/+16
5 daysada: Fix ghost condition for level dependencies for assignmentsViljar Indus1-3/+5
5 daysada: Remove checks for the old rule 20Viljar Indus1-43/+5
5 daysada: Update ghost code SPARK RM rulesViljar Indus9-54/+54
5 daysada: Refactor ghost argument consistency checksViljar Indus2-158/+172
5 daysada: Fix the condition of ghost level dependencies inside assignmentsViljar Indus1-8/+5
5 daysada: Add System.C_Time and GNAT.C_Time units to libgnatNicolas Boulenguez72-2371/+765
5 daysada: Fix crash on iterator of type with Constant_Indexing aspectEric Botcazou1-2/+7
5 daysada: Fix missing finalization for qualified expression in conditional expressionEric Botcazou5-6/+46
5 daysada: Fix section of Finalizable extension in GNAT RMRonan Desplanques3-321/+321
5 daysada: Avoid ghost context check in early freezeViljar Indus1-0/+9
5 daysada: Implement Super aspect and improve implementation of related features.Steve Baird7-344/+517
5 daysada: Improve ghost region creation for pragmasViljar Indus6-43/+106
5 daysada: Remove the note that GNAT LLVM doesn't ship the light runtimeSebastian Poeplau1-2/+1
5 daysada: Recommend GPR's Toolchain_Name for GNAT LLVM more prominentlySebastian Poeplau2-30/+26
5 daysada: Don't generate call of `System.Standard_Library.Adafinal`Vadim Godunko1-2/+7
5 daysada: Fix code generation when there is no No_Finalization restictionVadim Godunko1-1/+3
5 daysada: Add `Set_[Wide_]Wide_String` subprograms to auxiliary packages.Vadim Godunko6-0/+94
5 daysada: Disable ghost context checks before context is setViljar Indus3-0/+55
5 daysada: Fix documentation of Is_Ancestor_PackageRonan Desplanques2-5/+5
8 daysDaily bump.GCC Administrator1-0/+219
9 daysada: add BACKLOG_MAX OS constantMarc Poulhiès3-2/+5
9 daysada: Minor comment tweaksMarc Poulhiès2-2/+3