aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-07-04[Ada] Reduce emitted code size in CCG for aggregate assignmentArnaud Charlet2-1/+7
2019-07-04[Ada] GNAT.Sockets: fix socket timeout on recent Windows versionsDmitriy Anisimkov7-108/+238
2019-07-04[Ada] Get_Scos: Remove bogus, dead codeThomas Quinot2-6/+4
2019-07-04[Ada] Spurious dimensionality error on aggregate with "others" assoc.Ed Schonberg2-3/+18
2019-07-03[Ada] Document new flags in GNATppBob Duff2-5/+37
2019-07-03[Ada] Forced elaboration order in Elaboration order v4.0Hristian Kirtchev11-238/+976
2019-07-03[Ada] Crash on anonymous access-to-class-wide with tasksBob Duff2-6/+14
2019-07-03[Ada] Suppress warnings in generic instantiations with pragma WarningsYannick Moy2-3/+33
2019-07-03[Ada] New routine to access file on command lineJohannes Kanig3-0/+17
2019-07-03[Ada] Crash on front-end inlining of subp. with aspect specificationsEd Schonberg2-0/+38
2019-07-03[Ada] Incorrect expansion on renamings of formal parametersJustin Squirek2-4/+15
2019-07-03[Ada] Refine pointer support in SPARKYannick Moy2-51/+69
2019-07-03[Ada] Spurious visibility error in inlined functionHristian Kirtchev2-91/+183
2019-07-03[Ada] Minor editorial corrections and reformattingGary Dismukes9-28/+35
2019-07-03[Ada] Improve warnings about infinite loopsBob Duff2-3/+15
2019-07-03[Ada] Document default new-line behavior for GNATppBob Duff2-0/+7
2019-07-03[Ada] ABE checks v3.0, foundations of Elaboration order v4.0Hristian Kirtchev50-7981/+24227
2019-07-03[Ada] SPARK pointer support extended to local borrowers and observersYannick Moy2-175/+706
2019-07-03[Ada] Spurious error with static predicate in generic unitEd Schonberg2-2/+24
2019-07-03[Ada] Minor reformattingHristian Kirtchev8-35/+45
2019-07-03[Ada] Style check for mixed-case identifiersBob Duff9-1/+84
2019-07-03[Ada] Extend -gnatw.z warning to array typesEric Botcazou4-23/+38
2019-07-03[Ada] Spell "laid" correctlyBob Duff5-10/+15
2019-07-03[Ada] Spurious error on dynamic predicate in a generic contextEd Schonberg2-1/+26
2019-07-03[Ada] Fix bogus error on array with overaligned scalar componentEric Botcazou2-2/+14
2019-07-03[Ada] Make loop labels unique for front-end inlined callsEd Schonberg2-0/+69
2019-07-03[Ada] Update the section on resolving elaboration circularitiesHristian Kirtchev3-15/+23
2019-07-03[Ada] Add a gnatbind option to generate C codeArnaud Charlet5-4/+29
2019-07-03[Ada] Do not consider inlined subprograms when generating C codeArnaud Charlet2-4/+16
2019-07-03[Ada] Missing consistency check for constant modifierJustin Squirek2-2/+13
2019-07-03[Ada] Clarify wording on documentation for No_Multiple_ElaborationArnaud Charlet3-18/+22
2019-07-03[Ada] Spurious error on predicate of subtype in genericEd Schonberg2-2/+27
2019-07-03[Ada] Document that boolean types with convention C now map to C99 boolEric Botcazou3-11/+22
2019-07-03[Ada] Exp_Attr: remove dead codeJavier Miranda2-103/+6
2019-07-02[PATCH, Ada, Darwin, PPC] PPC Darwin has stack check probes.Iain Sandoe2-1/+6
2019-07-01[Ada] Spurious error on inst. of partially defaulted formal packageEd Schonberg2-0/+41
2019-07-01[Ada] Minor reformattingHristian Kirtchev7-17/+22
2019-07-01[Ada] More permissive use of GNAT attribute Enum_RepEd Schonberg2-3/+10
2019-07-01[Ada] Make No_Inline pragma effective for generic subprogramsEric Botcazou2-5/+16
2019-07-01[Ada] Spurious error private subtype derivationEd Schonberg2-0/+18
2019-07-01[Ada] SPARK support for pointers through ownershipYannick Moy3-2898/+2765
2019-07-01[Ada] GNAT.Sockets: refactor Has_Sockaddr_LenDmitriy Anisimkov2-6/+8
2019-07-01[Ada] Crash on improper pragma Weak_ExternalEd Schonberg2-0/+11
2019-07-01[Ada] Remove a SPARK rule about implicit GlobalPiotr Trojanek5-5/+10
2019-07-01[Ada] Cleanup references to LynuxWorks in docs and commentsPiotr Trojanek2-1/+5
2019-07-01[Ada] Wrong code with -gnatVa on lock-free protected objectsEd Schonberg2-0/+21
2019-07-01[Ada] Make No_Inline pragma effective for protected subprogramsEric Botcazou2-0/+7
2019-07-01[Ada] Unnesting: improve handling of private and incomplete typesEd Schonberg2-6/+34
2019-07-01[Ada] Correct size in representation clauses documentationPat Rogers3-17/+41
2019-07-01[Ada] Incorrect definition of Win32 compatible typesJustin Squirek2-2/+12