aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2018-05-28[Ada] Minor fixes and tweaks to comments in the Repinfo unitEric Botcazou2-9/+13
2018-05-28[Ada] Remove Valop from the Repinfo unitEric Botcazou2-15/+7
2018-05-28[Ada] Minor cleanup in repinfo unitEric Botcazou5-44/+43
2018-05-28[Ada] Unnesting: check index expressions for uplevel referencesEd Schonberg2-17/+72
2018-05-28[Ada] Unnesting: allow uplevel references to exceptionsEd Schonberg4-2/+13
2018-05-28[Ada] Fix internal error on renaming of equality for record typeEric Botcazou2-3/+29
2018-05-28[Ada] Improve unnesting for discriminants of record subtypesEd Schonberg2-1/+37
2018-05-28[Ada] Fix regression of ACATS c46032a with CCG back endJavier Miranda2-4/+28
2018-05-28[Ada] Update FE check following change in SPARK RM 7.1.3(12)Yannick Moy2-2/+10
2018-05-28[Ada] Allow for GNATprove specific versions of routines from Sem_DispClaire Dross3-102/+175
2018-05-28[Ada] Fix internal error on nested record types with representation clauseEric Botcazou2-2/+31
2018-05-28[Ada] Introduce a new Needs_Activation_Record entity flagEd Schonberg4-1/+40
2018-05-28[Ada] Better accuracy in float-to-fixed conversionsEd Schonberg2-18/+104
2018-05-28[Ada] Don't create empty activation recordsEd Schonberg2-0/+8
2018-05-28[Ada] Improve unnesting of indexed referencesRichard Kenner2-31/+93
2018-05-28[Ada] Copy index expression trees rather than relocating themEd Schonberg2-1/+10
2018-05-28[Ada] Disregard alignment issues in CodePeer modeArnaud Charlet2-0/+11
2018-05-28[Ada] Minor typo fix in exp_unst.adbArnaud Charlet2-1/+5
2018-05-28[Ada] Minor cleanup implementation of Ada.Containers.VectorsBob Duff2-3/+6
2018-05-28[Ada] Crash on aspect/pragma Linked_Section with -gnatR2Hristian Kirtchev2-10/+40
2018-05-28[Ada] Update user manual for the -D binder switchPatrick Bernardi3-45/+46
2018-05-28[Ada] Minor reformattingGary Dismukes2-3/+7
2018-05-28[Ada] Spurious constraint error on array of null-excluding componentsJustin Squirek5-71/+190
2018-05-28[Ada] Minor reformattingHristian Kirtchev6-28/+28
2018-05-28[Ada] Spurious error on aspect VolatileHristian Kirtchev2-3/+11
2018-05-28[Ada] Minor tweak to output of -gnatREric Botcazou2-0/+17
2018-05-28[Ada] Warning on recursive call within postconditionEd Schonberg2-0/+18
2018-05-28[Ada] Misleading warning on unresolvable package nameJustin Squirek2-1/+10
2018-05-28[Ada] Further evaluation of type bounds in GNATprove modeYannick Moy2-0/+18
2018-05-28[Ada] Minor internal cleanup in repinfo unitEric Botcazou2-23/+58
2018-05-25[Ada] Improve performance of conversion from String to Long_FloatNicolas Roche2-5/+13
2018-05-25[Ada] Remove 2GB secondary stack limit for 64-bit processorsPatrick Bernardi5-20/+39
2018-05-25[Ada] Spurious error on fixed-point operation whose operands are expressionsEd Schonberg2-2/+20
2018-05-25[Ada] Spurious range check with Initialize_ScalarsHristian Kirtchev2-1/+9
2018-05-25[Ada] Remove "constant" attribute on Osint.Unknown_AttributesArnaud Charlet4-31/+31
2018-05-25[Ada] Membership test of class-wide interfaceJavier Miranda3-2/+9
2018-05-25[Ada] Fix expansion of quantified expressions as part of "others" associationsEd Schonberg2-0/+23
2018-05-25[Ada] Spurious secondary stack depletionHristian Kirtchev2-120/+337
2018-05-25[Ada] Document the '-U' option for gnatelimSergey Rybin2-1/+25
2018-05-25[Ada] Crash on classwide precondition on subprogram with stubEd Schonberg3-1/+24
2018-05-25[Ada] Fix for freezing of expression functionsJustin Squirek2-1/+13
2018-05-25[Ada] Strip too long expressions in debug routinesArnaud Charlet2-0/+12
2018-05-25[Ada] Disable the creation of the main task secondary stack by the binderPatrick Bernardi2-1/+6
2018-05-25[Ada] Implement stack unwinding for Linux on AArch64Doug Rupp2-0/+11
2018-05-25[Ada] Minor reformattingJustin Squirek2-1/+7
2018-05-25[Ada] Fix convention for iteration with multiple loop variablesPiotr Trojanek2-2/+8
2018-05-25[Ada] Minor reformattingHristian Kirtchev11-64/+82
2018-05-25[Ada] Strengthen checks for instantiation with interface typesEd Schonberg2-8/+58
2018-05-25[Ada] Rewrite Iterate_Call_Parameters in more assertive stylePiotr Trojanek2-3/+12
2018-05-25[Ada] Make Max_Sensible_Delay uniform across all Posix targetsDoug Rupp17-160/+229
generated by cgit v1.1 at 2025-03-04 07:24:24 +0000