aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-12-07Daily bump.GCC Administrator1-0/+182
2022-12-06ada: Allow No_Caching on volatile typesYannick Moy4-45/+84
2022-12-06ada: Spurious error on nested call using the prefix notationJavier Miranda1-3/+4
2022-12-06ada: Suppress warning for specific constant valid conditionEric Botcazou1-1/+39
2022-12-06ada: Fix spurious error in checking of SPARK elaborationEric Botcazou1-1/+23
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou18-411/+706
2022-12-06ada: Small adjustment to special resolution of membership testEric Botcazou1-7/+11
2022-12-06ada: Use larger type for membership test of universal valueEric Botcazou2-33/+106
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek27-2414/+2577
2022-12-06ada: Add Codepeer Exemption + simplify TO_C code.Liaiss Merzougue1-9/+6
2022-12-02Daily bump.GCC Administrator1-0/+41
2022-12-01ada: Strip conversions for the implementation of storage modelsEric Botcazou1-0/+5
2022-12-01ada: Enforce Aggregate aspect legality ruleSteve Baird1-0/+6
2022-12-01ada: Further adjustments to User's Guide for PIE defaultEric Botcazou3-29/+21
2022-12-01ada: Fix misphrasing in commentRonan Desplanques1-1/+1
2022-12-01ada: Use the address type of a Storage_Model_Type for 'AddressGary Dismukes1-1/+28
2022-12-01ada: Fix minor issues in reference manualRonan Desplanques2-53/+53
2022-12-01ada: Minor updates to gnat/doc configurationJosue Nava Bello1-28/+72
2022-11-29Daily bump.GCC Administrator1-0/+46
2022-11-28ada: Adjust runtime library and User's Guide to PIE default on LinuxEric Botcazou4-64/+98
2022-11-28ada: doc/share/conf.py: Switch the HTML documentation to using the RTD themeJoel Brobecker1-2/+2
2022-11-28ada: Annotate GNAT.Source_Info with an abstract stateClaire Dross1-1/+19
2022-11-28ada: Fix internal error on conversion as in/out actual with -gnatVaEric Botcazou1-18/+43
2022-11-28ada: Add PIE support to backtraces on LinuxEric Botcazou1-3/+3
2022-11-28ada: Implement change to SPARK RM rule on state refinementYannick Moy4-10/+33
2022-11-25Daily bump.GCC Administrator1-0/+15
2022-11-24ada: Add assertion for the implementation of storage modelsEric Botcazou1-0/+3
2022-11-24ada: Spurious error on Lock_Free protected type with discriminantsJustin Squirek1-17/+12
2022-11-23Daily bump.GCC Administrator1-0/+27
2022-11-22ada: Accept aspects Global and Depends on abstract subprogramsPiotr Trojanek1-0/+5
2022-11-22ada: Disable checking of Elab_Spec procedures in CodePeer_ModeGhjuvan Lacambre2-1/+18
2022-11-22ada: Adjust number of errors when removing warning in dead codePiotr Trojanek2-17/+29
2022-11-22ada: Fix formatting glitches in Make_Tag_AssignmentEric Botcazou1-19/+21
2022-11-22ada: Fix recent assertion failure on GPR2Eric Botcazou1-14/+4
2022-11-22Daily bump.GCC Administrator1-0/+124
2022-11-21ada: Adjust recent change for returns involving function callsEric Botcazou2-14/+8
2022-11-21ada: Do not share Packed Array Type if sizes of types differMarc Poulhiès1-5/+8
2022-11-21ada: Order pragmas alphabetically in reference manualRonan Desplanques3-128/+128
2022-11-21ada: Minor tweak in assertionEric Botcazou1-1/+1
2022-11-21ada: Internal compiler error for Sequential Partition_Elaboration_PolicySteve Baird5-5/+39
2022-11-21ada: Small cleanup in Expand_N_Object_DeclarationEric Botcazou2-53/+49
2022-11-21ada: Ada 2022 Image attribute bugsSteve Baird7-4/+56
2022-11-21ada: Disable subprogram call validation in CodePeer modeGhjuvan Lacambre1-1/+1
2022-11-21ada: Move warnings switchesBob Duff37-1113/+700
2022-11-21ada: Improve documentation for -gnatw.h warningsSteve Baird2-5/+15
2022-11-21ada: Reject nonconfirming Size attribute value for aliased objectMarc Poulhiès1-0/+15
2022-11-21ada: Fix gnatmake's parsing of adc filesRonan Desplanques1-0/+1
2022-11-21ada: Tweak error messages on misplaced with keywordsRonan Desplanques1-1/+1
2022-11-21changelog: Fix extra space after tab.Martin Liska1-3/+3
2022-11-15Daily bump.GCC Administrator1-0/+141