aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-07-04s-osinte__kfreebsd-gnu.ads (clockid_t): Make type definition public.James Clarke2-6/+8
2019-07-04[Ada] Spurious error on non-default C++ constructorJavier Miranda2-2/+20
2019-07-04[Ada] Clean up support for validity checks in the compilerEric Botcazou5-44/+43
2019-07-04[Ada] Minor reformattingHristian Kirtchev17-110/+120
2019-07-04[Ada] Add preconditions in Ada.Task_IdentificationJoffrey Huguet2-0/+15
2019-07-04[Ada] Fix capitalization and parenthesis glitches in GNAT RMEric Botcazou3-8/+12
2019-07-04[Ada] Spurious error on instantiation and limited_with_clauseEd Schonberg2-6/+31
2019-07-04[Ada] Management of internal data structures in Sem_ElabHristian Kirtchev2-36/+176
2019-07-04[Ada] Expr. func. with private formal rejected in nested Ghost packageGary Dismukes2-2/+12
2019-07-04[Ada] SPARK_Mode Off now allowed inside subprogramYannick Moy2-1/+15
2019-07-04[Ada] Spurious error on incomplete tagged formal parameterJustin Squirek2-0/+13
2019-07-04[Ada] Bug in composition of equality for variant recordsEd Schonberg4-59/+125
2019-07-04[Ada] Missing actual for generated initialization procedureJustin Squirek3-17/+26
2019-07-04[Ada] Do not create a master unless Tasking_AllowedBob Duff2-0/+6
2019-07-04[Ada] Assertion failure on Default_Initial_ConditionHristian Kirtchev2-0/+12
2019-07-04[Ada] Spurious error on 'First in a generic contextEd Schonberg2-1/+13
2019-07-04[Ada] Minor typo fixesPiotr Trojanek2-2/+7
2019-07-04[Ada] Synchronized object definition in SPARK updatedYannick Moy2-1/+15
2019-07-04[Ada] Fix crash in SPARK ownership checkingYannick Moy2-3/+11
2019-07-04[Ada] Hang on expansion of library-level instantiationJustin Squirek2-8/+43
2019-07-04[Ada] Unnesting: handle conditional expressionsEd Schonberg2-0/+31
2019-07-04[Ada] Skip code not in SPARK for ownership analysisYannick Moy2-28/+49
2019-07-04[Ada] Minor reformattingHristian Kirtchev6-30/+37
2019-07-04[Ada] Better error messages for ownership errors in SPARKYannick Moy2-62/+196
2019-07-04[Ada] CCG: reduce generated temporariesArnaud Charlet2-289/+296
2019-07-04[Ada] Keep assertions in internal units enabled for GNATprovePiotr Trojanek2-1/+12
2019-07-04[Ada] CCG: restrict folding for boolean testsArnaud Charlet2-1/+36
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