aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-08-02rework Ada EH Machine_Occurrence deallocationAlexandre Oliva3-47/+316
2019-07-23[Ada] Aspect CPU may depend on a discriminant of a task typeEd Schonberg2-0/+9
2019-07-23[Ada] Plug small loophole in Generate_Range_CheckEric Botcazou3-35/+50
2019-07-23[Ada] Eliminate redundant overflow checks for conversions from fixed-pointEric Botcazou3-6/+13
2019-07-23[Ada] Minor tweak to -gnatR outputEric Botcazou2-6/+11
2019-07-23[Ada] Iterators are view-specificEd Schonberg4-2/+41
2019-07-23[Ada] Issue error on SPARK ownership rule violationYannick Moy3-13/+62
2019-07-23[Ada] Fix binding of ghost units with finalizerYannick Moy3-0/+22
2019-07-22[Ada] More complete information level for -gnatR4 outputEric Botcazou2-0/+12
2019-07-22[Ada] Sinfo: update doc about Do_Division/Overlflow/Range_CheckEric Botcazou2-26/+22
2019-07-22[Ada] Fix missing check for no-op conversion to fixed-point typeEric Botcazou2-3/+12
2019-07-22[Ada] Remove misleading warning/suggestion in membership testEd Schonberg2-0/+17
2019-07-22[Ada] Adapt ownership checking in SPARK to traversal functionsYannick Moy2-18/+217
2019-07-22[Ada] Overhaul code implementing conversions involving fixed-point typesEric Botcazou4-210/+142
2019-07-22[Ada] Sprint: fix pasto in commentEric Botcazou2-1/+5
2019-07-22[Ada] Spurious error passing access to class-wide interface typeJavier Miranda2-7/+13
2019-07-22[Ada] Small enhancement to the -gnatD/-gnatG output for fixed-point typesEric Botcazou2-32/+67
2019-07-22[Ada] Beef up comment in exp_attr.adbEric Botcazou2-2/+7
2019-07-22[Ada] Optimization loses exception in improper use of 'ValueEd Schonberg12-11/+24
2019-07-22[Ada] Misleading warning on variable not assignedEd Schonberg2-2/+13
2019-07-22[Ada] Usage of signed type in array bounds in CCGJavier Miranda3-20/+173
2019-07-22[Ada] Issue warning or error message on ignored typing constraintYannick Moy2-0/+9
2019-07-22[Ada] Fix spurious visibility error for tagged type with inliningEric Botcazou2-1/+18
2019-07-22[Ada] Remove obsolete Is_For_Access_Subtype machineryEric Botcazou7-58/+19
2019-07-22[Ada] Spurious error on private subtype of derived access typeEric Botcazou2-57/+68
2019-07-22[Ada] Type inconsistency in floating_point type declarationsEd Schonberg2-19/+36
2019-07-22[Ada] Further fix non-stored discriminant in aggregate for GNATproveEric Botcazou2-11/+41
2019-07-22[Ada] Premature finalization of controlled temporaries in case expressionsGary Dismukes2-7/+23
2019-07-22[Ada] Internal error on iterator for limited private discriminated typeEric Botcazou2-8/+7
2019-07-22[Ada] Fix missing Constraint_Error for Enum_Val attributeEric Botcazou2-0/+14
2019-07-22[Ada] Ensure meaningless digits in a string are discardedNicolas Roche2-52/+51
2019-07-22[Ada] Fix wrong assumption on bounds in GNAT.Encode_StringEric Botcazou2-4/+9
2019-07-22[Ada] Fix spurious loop warning for function with Out parameterEric Botcazou2-0/+10
2019-07-22[Ada] Ensure Ctrl-C is not emited on terminated processesNicolas Roche4-25/+93
2019-07-22[Ada] Incorrect values in conversion from fixed-point subtype with 'SmallEd Schonberg2-0/+18
2019-07-22[Ada] Crash in C++ constructor without external and link nameJavier Miranda2-0/+20
2019-07-22[Ada] Spurious warning about a useless assignmentEd Schonberg2-0/+27
2019-07-22[Ada] Fix internal error on array slice in loop and Loop_InvariantEric Botcazou2-2/+10
2019-07-18Makefile.rtl, [...]: Introduce a "STANDALONE" mode where C runtime files do n...Arnaud Charlet24-179/+125
2019-07-13* Makefile.rtl: Use g-sercom__linux.adb for all linuxes.Andreas Schwab2-1/+4
2019-07-11[Ada] Use high-level wrappers for Lib.Units.TablePiotr Trojanek2-3/+9
2019-07-11[Ada] Minor refactoringPiotr Trojanek4-2/+12
2019-07-11[Ada] Avoid spurious errors on dimensionality checking in GNATproveYannick Moy2-1/+8
2019-07-11[Ada] Flip the meaning of debug switch -gnatdFYannick Moy2-4/+9
2019-07-11[Ada] Avoid spurious warning on assertions with Loop_EntryYannick Moy2-10/+44
2019-07-11[Ada] Refactor ownership pointer checking in SPARK as a genericClaire Dross4-149/+329
2019-07-11[Ada] Minimal binderPatrick Bernardi7-17/+86
2019-07-11[Ada] Makefile.rtl: add a warning about compilation flagsEric Botcazou2-9/+20
2019-07-11[Ada] Crash on protected type with self-referential componentEd Schonberg2-1/+69
2019-07-11[Ada] GNAT.Sockets: support ICMP, IGMP and RAW IP protocol levelsDmitriy Anisimkov4-2/+122
generated by cgit v1.1 at 2024-09-29 17:24:50 +0000