aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-07-14Daily bump.GCC Administrator1-0/+240
2022-07-13[Ada] Small housekeeping work in gigiEric Botcazou1-1/+8
2022-07-13[Ada] Extend No_Dependence restriction to code generationEric Botcazou2-21/+64
2022-07-13[Ada] Revert recent change in debug info for vector array typesEric Botcazou1-8/+0
2022-07-13[Ada] Undo questionable renaming in earlier changeEric Botcazou1-2/+2
2022-07-13[Ada] Also deal with private actual types in latest changeEric Botcazou1-0/+13
2022-07-13[Ada] Adjust name of stack checking functionEric Botcazou1-1/+1
2022-07-13[Ada] Use actual types instead of formal types consistently in debug infoEric Botcazou1-27/+93
2022-07-13[Ada] Generate debug info entry for user-defined access subtypeEric Botcazou1-7/+6
2022-07-13[Ada] Do not generate DW_TAG_typedef for constrained array typesEric Botcazou1-16/+9
2022-07-13[Ada] Fix internal error on comparison with access function parameterEric Botcazou1-5/+10
2022-07-13[Ada] Fix internal error on instance of Ada.Task_Attributes at -OEric Botcazou1-7/+13
2022-07-13[Ada] Fix wrong access check with access-to-unconstrained-arrayEric Botcazou1-8/+13
2022-07-13[Ada] Extend No_Dependence restriction to code generation (continued)Eric Botcazou1-0/+4
2022-07-13[Ada] Fix for bootstrap problem with calling function System.Case_Util.To_MixedGary Dismukes1-1/+3
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes6-129/+202
2022-07-13[Ada] Fix for visibility of aspect expressions inside generic unitsPiotr Trojanek1-30/+35
2022-07-13[Ada] Handle bodies-to-inline just like generic templatesPiotr Trojanek2-12/+4
2022-07-13[Ada] Clarify hardening command-line options that require explicit choicesAlexandre Oliva2-16/+18
2022-07-13[Ada] Fix incorrect handling of Ghost aspectYannick Moy1-0/+10
2022-07-13[Ada] Fix proof of runtime unit System.Arith_64Yannick Moy1-4/+92
2022-07-13[Ada] Fix crash on frontend inlining of functions with single returnsPiotr Trojanek1-0/+1
2022-07-13[Ada] Plug legality loophole for equality operator of untagged record typesEric Botcazou2-69/+162
2022-07-13[Ada] Fix automatic proof on System.Arith_32Yannick Moy1-1/+2
2022-07-13[Ada] Fix if expression returning sliceMarc Poulhiès1-3/+17
2022-07-13[Ada] Add cross-references between Integer_Type_For and Small_Integer_Type_ForEric Botcazou1-2/+2
2022-07-13[Ada] Fix internal error on untagged record type with equality operatorEric Botcazou1-1/+8
2022-07-13[Ada] Fix CodePeer warnings in GNAT sourcesJustin Squirek4-117/+17
2022-07-13[Ada] Refine type for checking number of pragma argumentsPiotr Trojanek1-2/+2
2022-07-13Daily bump.GCC Administrator1-0/+328
2022-07-12[Ada] Fix inconsistent comment about expansion of exception declarationsPiotr Trojanek1-1/+1
2022-07-12[Ada] Fix 0-sized secondary stack allocationsMarc Poulhiès1-1/+6
2022-07-12[Ada] Use right implementation type for nonbinary-modulus opsSteve Baird1-31/+70
2022-07-12[Ada] Spurious use_type clause warningJustin Squirek2-3/+18
2022-07-12[Ada] Extend No_Dependence restriction to code generationEric Botcazou4-21/+87
2022-07-12[Ada] Ada 2020: Allow declarative items mixed with statementsBob Duff5-124/+354
2022-07-12[Ada] Don't check for misspelling of Not_A_Restriction_IdPiotr Trojanek1-1/+1
2022-07-12[Ada] Fix confusing error expression on an unknown restrictionPiotr Trojanek1-2/+4
2022-07-12[Ada] Make it clear that gnatmake passes the ball to gprbuild if -P is setVasiliy Fofanov3-28/+34
2022-07-12[Ada] Suppress warning in g-socthi__vxworks.adbBob Duff1-1/+3
2022-07-12[Ada] Simplify rewriting of attributes into Boolean literalsPiotr Trojanek1-6/+1
2022-07-12[Ada] Ignore switches for controlling frontend warnings in GNATprove modeYannick Moy3-42/+15
2022-07-12[Ada] Do not create large objects for indefinite protected typesEric Botcazou1-9/+26
2022-07-12[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - remove unused filesDoug Rupp2-327/+0
2022-07-12[Ada] Fix spurious warning on unreferenced internal generic instancePiotr Trojanek1-1/+0
2022-07-12[Ada] Refine heuristics for unreachable-code warningsBob Duff3-17/+26
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff8-64/+117
2022-07-12[Ada] Add one more leading underscore to couple of exported symbolsEric Botcazou1-2/+2
2022-07-12[Ada] Proper freezing for dispatching expression functions.Ed Schonberg2-2/+47
2022-07-12[Ada] Warn on unset objects in packages with no bodiesPiotr Trojanek1-0/+7