aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2018-08-21[Ada] Minor reformattingsHristian Kirtchev22-132/+163
2018-08-21[Ada] Add a new gnat tool vxlinkJerome Lambourg9-0/+1189
2018-08-21[Ada] Crash on expression function and tagged typesEd Schonberg2-16/+29
2018-08-21[Ada] Spurious crash on expression function as completion with contractsEd Schonberg5-209/+263
2018-08-21[Ada] Retention of with clauses for ignored Ghost unitsHristian Kirtchev2-3/+6
2018-08-21[Ada] Crash processing SPARK annotate aspectJavier Miranda2-1/+13
2018-08-21[Ada] Spurious error on overriding protected function in instanceEd Schonberg2-1/+12
2018-08-21[Ada] Properly set scope of artificial entities in blocksEd Schonberg2-11/+36
2018-08-21[Ada] Fix scope computation for loop statementsEd Schonberg2-1/+45
2018-08-21[Ada] Einfo: remove obsolete codeBob Duff3-75/+5
2018-08-21[Ada] Update for Ownership rules for access types according to AI12-0240Maroua Maalej2-2758/+1191
2018-08-21[Ada] Spurious ambiguity error on call returning an access typeEd Schonberg2-1/+19
2018-08-21[Ada] Document entries of the target parametrization fileYannick Moy3-3/+66
2018-08-21[Ada] Set scope of elaboration flag for 'AccessEd Schonberg2-0/+13
2018-08-21[Ada] Sprint: add guard on printing aspectsEd Schonberg2-2/+8
2018-08-21[Ada] Crash compiling SPARK ghost functions with callgraph infoJavier Miranda2-1/+13
2018-08-21[Ada] Unnesting: do not set size of access subprogramsEd Schonberg2-0/+15
2018-08-21[Ada] Unnesting: do not emit warnings for access to subprogramsEd Schonberg2-1/+10
2018-08-21[Ada] Improper copying of limited arrays with default initializationEd Schonberg2-7/+33
2018-08-21[Ada] Fix spurious error on unchecked conversion on VFA record typeEric Botcazou2-0/+7
2018-08-21[Ada] Fix internal error on extension of record with representation clauseEric Botcazou2-2/+26
2018-08-21[Ada] Spurious "Duplicated symbol" error with discriminated tasksEd Schonberg6-5/+30
2018-08-21[Ada] Define versions of dimension system for Float and Long_FloatYannick Moy15-528/+866
2018-08-21[Ada] General purpose doubly linked list for compiler and tool useHristian Kirtchev6-0/+892
2018-08-21[Ada] Fix scope computation for entry bodies and accept alternativesEd Schonberg2-9/+25
2018-08-21[Ada] Crash on entry in generic with dynamic elaboration checksHristian Kirtchev3-12/+31
2018-08-21[Ada] Set_Targ: add a CodePeer annotationArnaud Charlet2-0/+7
2018-08-21[Ada] Compiler abort on call to expr. function for default discriminantEd Schonberg2-1/+18
2018-08-21[Ada] Dynamically resizable, load factor-based hash tableHristian Kirtchev3-33/+1116
2018-08-21[Ada] Enumeration types with non-standard representationJavier Miranda3-13/+53
2018-08-21[Ada] Handle pragmas that come from aspects for GNATprovePiotr Trojanek3-1/+22
2018-08-21[Ada] Add sa_messages.ad[sb] for SPARK 2014Pierre-Marie de Rodat3-0/+810
2018-08-21[Ada] Bump copyright notices to 2018Pierre-Marie de Rodat9-9/+9
2018-08-07Add missing gcc-interface/ to 2018-07-31 ChangeLog entryAlexandre Oliva1-2/+2
2018-08-03[Ada] Partially revert "Makefile patches from initial RISC-V cross/native bui...Pierre-Marie de Rodat3-6/+15
2018-07-31Introduce instance discriminatorsAlexandre Oliva3-6/+35
2018-07-31[Ada] Various code clean-ups from CodePeer messagesArnaud Charlet16-41/+64
2018-07-31[Ada] Fix potential Constraint_Error if Library_Version is too longArnaud Charlet2-2/+9
2018-07-31[Ada] Sem_Elab: remove duplicate conditionArnaud Charlet2-1/+4
2018-07-31[Ada] Unnesting: improve support for entries in protected objectsEd Schonberg2-30/+54
2018-07-31[Ada] Refine generation of range checks to happen in front endEd Schonberg2-3/+55
2018-07-31[Ada] Secondary stack leak with access-to-subprogramHristian Kirtchev2-1/+7
2018-07-31[Ada] Unnesting: find local subps in nested stmt sequencesEd Schonberg2-25/+98
2018-07-31[Ada] Spurious error on default parameter in protected operationEd Schonberg2-0/+30
2018-07-31[Ada] GNATmake fails to detect missing bodyJustin Squirek3-20/+43
2018-07-31[Ada] Fix alignment of mutex_t and cond_t type on 32-bit SPARC/SolarisEric Botcazou2-5/+12
2018-07-31[Ada] Wrong value after assignment of overlain record objectsJustin Squirek2-1/+18
2018-07-31[Ada] Spurious error on the placement of aspect GlobalHristian Kirtchev3-25/+149
2018-07-31[Ada] Compiler failure on an extended_return_statement in a blockGary Dismukes2-3/+9
2018-07-31[Ada] Spurious warning on iteration over range of 64-bit modular typeEd Schonberg2-0/+13
generated by cgit v1.1 at 2024-09-28 15:11:20 +0000