aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-09-19[Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdbTom Tromey2-1/+6
2019-09-19[Ada] Accept concatentation arguments to pragma AnnotateSteve Baird4-14/+76
2019-09-19[Ada] Get rid of useless temporary for slice in overaligned record typeEric Botcazou2-2/+10
2019-09-19[Ada] Sem_Ch12: add a comment to indicate future workEric Botcazou2-0/+10
2019-09-19[Ada] Fix copy operation with private discriminated record typeEric Botcazou2-3/+10
2019-09-19[Ada] Fix bogus "too late" error with nested generics and inliningEric Botcazou2-0/+68
2019-09-19[Ada] Fix bogus visibility error with nested generics and inliningEric Botcazou2-3/+10
2019-09-19[Ada] New routine GNAT.Sockets.Create_Socket_PairDmitriy Anisimkov10-146/+330
2019-09-19[Ada] Use declared type for deciding on SPARK pointer rulesYannick Moy2-7/+6
2019-09-19[Ada] Spurious visibility error in generic child unitEd Schonberg2-3/+23
2019-09-19[Ada] Disable inlining of traversal function in GNATproveYannick Moy2-0/+34
2019-09-19[Ada] Allow constants of access type in Global contractsYannick Moy2-5/+39
2019-09-19[Ada] Exp_Attr: remove obsolete commentArnaud Charlet2-3/+4
2019-09-19[Ada] Fix run-time segfault with derived access-to-subprogram typeEric Botcazou2-0/+10
2019-09-19[Ada] Move SPARK borrow-checker to gnat2why codebaseYannick Moy4-6357/+5
2019-09-19[Ada] Implement Machine_Rounding attribute in line when possibleEric Botcazou3-7/+15
2019-09-19[Ada] Suppress GNAT FE up-level reference transformation for GNAT-LLVMGary Dismukes2-1/+9
2019-09-19[Ada] Streamline comparison for equality of 2-element arraysEric Botcazou2-35/+96
2019-09-19[Ada] Remove duplicated routines for getting homonym numberPiotr Trojanek6-33/+18
2019-09-19[Ada] Crash on predicate in full view in a generic unitEd Schonberg2-8/+30
2019-09-19[Ada] Memory leak with 'Range of a function call in a loopBob Duff2-0/+16
2019-09-19[Ada] Propagate documentation to formal bounded setsRaphael Amiard2-0/+143
2019-09-19[Ada] Add comments wrt. deallocation of bounded sets/mapsRaphael Amiard4-4/+12
2019-09-19[Ada] Fix spurious type mismatch failure on nested instantiationsEric Botcazou2-3/+16
2019-09-19[Ada] Infinite loop with concatenation and aspectBob Duff2-7/+22
2019-09-19[Ada] Fix fallout of previous change for bit-packed arraysEric Botcazou2-13/+27
2019-09-19[Ada] gnatxref: infinite loop on symbols not foundBob Duff2-8/+18
2019-09-19[Ada] Improve handling of explicit by-reference mechanismEric Botcazou2-3/+14
2019-09-19[Ada] Rtsfind: improve comment on RTE_AvailableBob Duff2-0/+21
2019-09-18[Ada] Avoid gnatbind regression caused by Copy_BitfieldBob Duff2-2/+13
2019-09-18[Ada] Fix spurious alignment warning on simple address clauseEric Botcazou3-4/+35
2019-09-18[Ada] Crash on universal case expression in fixed-point divisionEd Schonberg2-2/+18
2019-09-18[Ada] Use static discriminant value for discriminated task recordEd Schonberg2-1/+29
2019-09-18[Ada] Crash on aggregate with dscriminant in if-expression as defaultEd Schonberg2-0/+16
2019-09-18[Ada] Spurious ineffective use_clause warningJustin Squirek2-5/+18
2019-09-18[Ada] Missing accessibility check on discrim assignmentJustin Squirek2-4/+20
2019-09-18[Ada] Fix sharing of expression in array aggregate with others choiceEric Botcazou2-4/+20
2019-09-18[Ada] Spurious run time error on anonymous access formalsJustin Squirek7-21/+216
2019-09-18[Ada] Implement AI12-0086's rules for discriminants in aggregatesSteve Baird3-21/+543
2019-09-18[Ada] Fix portability issues in access to subprogramsJavier Miranda7-9/+80
2019-09-18[Ada] Improve efficiency of copying bit-packed slicesBob Duff2-8/+21
2019-09-18[Ada] Fix minor formatting issueVasiliy Fofanov2-1/+6
2019-09-18[Ada] Code cleanup of alignment representation clauses in dispatch tablesJavier Miranda2-98/+7
2019-09-18[Ada] Don't fail a front-end assertion if errors have already been detectedSteve Baird2-1/+8
2019-09-18[Ada] Refine type of Get_Homonym_Number resultPiotr Trojanek4-4/+11
2019-09-18[Ada] Skip entity name qualification in GNATprove modeYannick Moy5-48/+91
2019-09-18[Ada] Ensure that Scan_Real result does not depend on trailing zerosNicolas Roche2-264/+395
2019-09-18[Ada] Factor out code for deciding statically known Constrained attributesClaire Dross5-139/+208
2019-09-18[Ada] Raise exception on call to Expect for a dead processVadim Godunko2-1/+18
2019-09-18[Ada] Fix errno for rename for the VxWorks 6 targetFrederic Konrad2-0/+25
generated by cgit v1.1 at 2025-02-28 19:23:17 +0000