aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-05-13[Ada] Fix the Ada 2022 iterated component association RM referenceMarc Poulhiès1-5/+2
2022-05-13[Ada] Fix typo on "that"Etienne Servais1-1/+1
2022-05-13[Ada] Spurious access error in function returning type with access discriminantJustin Squirek3-34/+94
2022-05-13[Ada] Accept effectively volatile components in actualsPiotr Trojanek1-0/+6
2022-05-13[Ada] Remove redundant guard in checks for volatile actualsPiotr Trojanek1-2/+1
2022-05-13[Ada] Ineffective use type clause warnings cause compile time crashJustin Squirek3-6/+53
2022-05-13Daily bump.GCC Administrator1-0/+302
2022-05-12[Ada] Skip postponed validation checks with compilation errorsPiotr Trojanek1-1/+0
2022-05-12[Ada] Fix URL in docArnaud Charlet2-2/+2
2022-05-12[Ada] Restore double quotes in debug printoutsBob Duff3-4/+8
2022-05-12[Ada] Reuse collective subtype for comparison operators where possiblePiotr Trojanek2-12/+3
2022-05-12[Ada] Remove unreferenced Is_Selector_Name routinePiotr Trojanek2-37/+0
2022-05-12[Ada] Add more dummy names in Sem_Warn.Has_Junk_NameArnaud Charlet1-1/+3
2022-05-12[Ada] Fix warning about generic subprograms withed but not referencedPiotr Trojanek1-1/+2
2022-05-12[Ada] Fix warning about generic subprograms withed but not instantiatedPiotr Trojanek7-8/+2
2022-05-12[Ada] Remove useless pragma Warnings Off from runtime unitsYannick Moy3-6/+0
2022-05-12[Ada] Do not issue a warning on a postcondition of True or FalseYannick Moy1-20/+24
2022-05-12[Ada] Remove front-end SJLJ processingArnaud Charlet70-512/+40
2022-05-12[Ada] Make debug printouts more robustBob Duff18-187/+178
2022-05-12[Ada] Add ghost code to facilitate proof with SPARKYannick Moy2-0/+17
2022-05-12[Ada] Remove use of use-clauses in loaded runtime unitsYannick Moy4-14/+30
2022-05-12[Ada] Fix support for ISO-8859-15 and IBM CP 850 encodingEtienne Servais1-2/+4
2022-05-12[Ada] Remove redundant guard against Any_StringPiotr Trojanek1-1/+0
2022-05-12[Ada] Accept raise expressions as operands of boolean operatorsPiotr Trojanek1-0/+1
2022-05-12[Ada] Plug loophole in Possible_Type_For_Conditional_ExpressionEric Botcazou1-0/+4
2022-05-12[Ada] Adapt CodePeer analysis of GNAT to changes in dependenciesYannick Moy1-0/+2
2022-05-12[Ada] Revamp analysis of conditional expressionsEric Botcazou2-93/+396
2022-05-12[Ada] Proof of 'Image support for signed integersYannick Moy17-32/+786
2022-05-12[Ada] Rewrite Sem_Ch4.Find_Boolean_TypesEric Botcazou1-74/+68
2022-05-12[Ada] Introduce hardbool Machine_Attribute for AdaAlexandre Oliva4-27/+175
2022-05-12[Ada] Fix scope of block in expanded protected entry bodyPiotr Trojanek1-1/+2
2022-05-12[Ada] Fix typo in commentEtienne Servais1-1/+1
2022-05-12[Ada] Fix style checking rule for square brackets in Ada 2022 and aboveMarc Poulhiès8-40/+52
2022-05-12[Ada] Fix remaining asymmetry in Specific_TypeEric Botcazou1-7/+16
2022-05-12[Ada] Fix typos in syntax for implementation-defined pragmasPiotr Trojanek2-8/+8
2022-05-12[Ada] Reuse generic string hash for invocation signaturesPiotr Trojanek1-11/+9
2022-05-12[Ada] Document Aggregate_Individually_Assign as a configuration pragmaPiotr Trojanek2-0/+2
2022-05-12Daily bump.GCC Administrator1-0/+262
2022-05-11[Ada] Proof of 'Image support for unsigned integersYannick Moy27-186/+793
2022-05-11[Ada] Sort Detect_Blocking alphabetically among names and pragmasPiotr Trojanek1-2/+2
2022-05-11[Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmasPiotr Trojanek2-13/+4
2022-05-11[Ada] Correctly reject record aggregate using bracketsMarc Poulhiès9-30/+39
2022-05-11[Ada] Fix unbalanced paren in documentation marker for GNAT StudioPiotr Trojanek11-48/+48
2022-05-11[Ada] New No_Local_Tagged_Types restrictionMarc Poulhiès5-395/+425
2022-05-11[Ada] Fix spurious ambiguity for if_expression containing operatorEric Botcazou1-1/+1
2022-05-11[Ada] Fix style of body header boxesPiotr Trojanek3-3/+5
2022-05-11[Ada] Do not create useless itype in Constrain_AccessEtienne Servais1-1/+4
2022-05-11[Ada] Detect infinite loops with operators in exit conditionsPiotr Trojanek1-7/+9
2022-05-11[Ada] Adapt proof of System.Arith_Double after update of Z3Yannick Moy1-2/+16
2022-05-11[Ada] Update categorization of implementation restrictionsPiotr Trojanek2-46/+40
generated by cgit v1.1 at 2024-10-28 20:25:54 +0000