aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2024-06-15Daily bump.GCC Administrator1-0/+232
2024-06-14ada: Do not include target-specific makefile fragmentsEric Botcazou1-6/+0
2024-06-14ada: Fix return mechanism reported by -gnatRmEric Botcazou1-7/+27
2024-06-14ada: Skip subprogram body entities inside scopesYannick Moy1-0/+8
2024-06-14ada: Do not create null GCC thunksEric Botcazou1-10/+19
2024-06-14ada: Typo and indentation fixMarc Poulhiès4-7/+7
2024-06-14ada: Fix parts of classification of aspectsEric Botcazou2-62/+101
2024-06-14ada: Bad tree built for Obj.Discrim_Dep_Component'Loop_Entry in assertionSteve Baird1-7/+18
2024-06-14ada: Simplify handling of VxWorks-specific error codes for ENOENTJerome Guitton1-7/+20
2024-06-14ada: Minor tweak in SnamesEric Botcazou1-4/+1
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek30-130/+1235
2024-06-14ada: Crash checking accessibility level on private typeJustin Squirek1-1/+5
2024-06-14ada: Minor tweaks to processing of Aggregate aspectEric Botcazou3-15/+15
2024-06-14ada: Missing initialization of multidimensional array using slidingJavier Miranda1-21/+33
2024-06-14ada: Couple of small cleanups in semantic analysis of aspectsEric Botcazou3-60/+58
2024-06-14ada: Allow implicit dereferenced for uses of 'SuperJustin Squirek1-0/+1
2024-06-14ada: Remove unused name of aspect from SnamesEric Botcazou1-1/+0
2024-06-14Daily bump.GCC Administrator1-0/+261
2024-06-13Revert "map packed field type to unpacked for debug info"Alexandre Oliva1-4/+0
2024-06-13ada: Compiler goes into loopSteve Baird1-1/+4
2024-06-13ada: Remove -gnatdJ switchViljar Indus9-220/+22
2024-06-13ada: Fix segmentation fault on slice of array with Unbounded_String componentEric Botcazou2-24/+93
2024-06-13ada: Remove Iterable from list of GNAT-specific attributesEric Botcazou3-513/+496
2024-06-13ada: Fix test for giving hint on ambiguous aggregateYannick Moy1-1/+1
2024-06-13ada: Missing postcondition runtime check in inherited primitiveJavier Miranda5-85/+269
2024-06-13ada: Revert changing a GNATProve mode message to a non-warningViljar Indus1-1/+1
2024-06-13ada: Deep copy of an expression sometimes fails to copy entitiesSteve Baird1-21/+0
2024-06-13ada: Minor cleanups in generic formal matchingBob Duff4-17/+17
2024-06-13ada: Remove message about goto rewritten as a loopViljar Indus1-3/+0
2024-06-13ada: Remove warning insertion characters from info messagesViljar Indus3-3/+3
2024-06-13ada: Convert an info message to a continuationViljar Indus1-2/+3
2024-06-13ada: Simplify code in Cannot_InlineViljar Indus1-10/+10
2024-06-13ada: List subprogram body entities in scopesYannick Moy3-57/+17
2024-06-13ada: Interfaces order disables class-wide prefix notation callsJavier Miranda1-1/+22
2024-06-13ada: Fix Super attribute documentationSteve Baird3-3/+3
2024-06-13ada: Fix expansion of protected subprogram bodiesRonan Desplanques2-118/+147
2024-06-13ada: Fix oversight in latest finalization fixEric Botcazou1-1/+1
2024-06-13ada: Check global mode restriction on encapsulating abstract statesPiotr Trojanek1-25/+56
2024-06-13ada: Streamline elaboration of local tagged typesEric Botcazou13-59/+289
2024-06-13ada: Do not inline subprogram which could cause SPARK violationYannick Moy1-1/+82
2024-06-13ada: Fix incorrect String lower bound in gnatlinkRonan Desplanques1-7/+24
2024-06-13ada: Reject too-strict alignment specifications.Steve Baird1-2/+3
2024-06-13ada: Inline if -gnatn in CCG mode even if -O0Richard Kenner1-2/+3
2024-06-13ada: Fix fallout of previous finalization changeEric Botcazou1-4/+14
2024-06-13ada: Missing support for 'Old with overloaded functionJavier Miranda3-1/+51
2024-06-13ada: Simplify checks for Address and Object_Size clausesPiotr Trojanek3-7/+4
2024-06-13ada: Add support for symbolic backtraces with DLLs on WindowsEric Botcazou3-28/+29
2024-06-13ada: Fix too late finalization of temporary objectEric Botcazou3-98/+48
2024-06-13ada: Missing dynamic predicate checksJavier Miranda2-2/+112
2024-06-13Daily bump.GCC Administrator1-0/+5