aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/ChangeLog
AgeCommit message (Expand)AuthorFilesLines
2018-05-24[Ada] Simplify routines with a local Result variablePiotr Trojanek1-0/+6
2018-05-24[Ada] Fix irregular output with -gnatR3Eric Botcazou1-0/+10
2018-05-24[Ada] Minor clean-ups in gigiEric Botcazou1-0/+7
2018-05-24[Ada] Wrong renaming of variant record equalityJavier Miranda1-0/+15
2018-05-24[Ada] Add a new Is_Activation_Record flag on IN parametersEd Schonberg1-0/+11
2018-05-24[Ada] Improve GNATprove messages on unproved checksYannick Moy1-0/+7
2018-05-24[Ada] Missing error on illegal access to discriminantJavier Miranda1-0/+9
2018-05-24[Ada] Infinite loop in the compiler when warning on redundant constructsEd Schonberg1-0/+8
2018-05-24[Ada] Minor fix grammar in comment of N_Defining_IdentifierPiotr Trojanek1-0/+4
2018-05-24[Ada] Quadratic compile time with tagged typesJustin Squirek1-0/+58
2018-05-24[Ada] Spurious error due to lingering limited viewHristian Kirtchev1-0/+18
2018-05-24[Ada] Handle version 2 of Windows unwinding information structuresEric Botcazou1-0/+10
2018-05-24[Ada] Minor reformattingHristian Kirtchev1-0/+4
2018-05-24[Ada] Add warning on redundant others_clause in array aggregateEd Schonberg1-0/+6
2018-05-24[Ada] Update Ada.Containers.Hashed_Maps documentation with Ada RM doc.Raphael Amiard1-0/+4
2018-05-24[Ada] Add documentation from the Ada RM to Ada.Containers.VectorRaphael Amiard1-0/+4
2018-05-24[Ada] Crash on return of raise expressionJustin Squirek1-0/+9
2018-05-24[Ada] Crash on function in Ghost subunitHristian Kirtchev1-0/+6
2018-05-24[Ada] Ineffective use warning is suppressed when performing verificationJustin Squirek1-0/+6
2018-05-24[Ada] Fix typos in documentationCyrille Comar1-0/+5
2018-05-24[Ada] Memory leak mixing limited and nonlimited functionsBob Duff1-0/+8
2018-05-24[Ada] Spurious error on pragma Independent_ComponentsHristian Kirtchev1-0/+5
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-0/+63
2018-05-24[Ada] Fix inconsistent documentation for the Contract_Cases pragmaPiotr Trojanek1-0/+7
2018-05-24[Ada] Expansion of discrete choicesHristian Kirtchev1-0/+6
2018-05-24[Ada] Spurious error on imported subprogram with preconditionHristian Kirtchev1-0/+7
2018-05-24[Ada] Spurious error on private task derivationJavier Miranda1-0/+8
2018-05-24[Ada] Crash on compilation unit instanceHristian Kirtchev1-0/+7
2018-05-24[Ada] Fix references to Backend_Layout configuration parameterPiotr Trojanek1-0/+5
2018-05-24[Ada] Initial port of x86-lynx178elf runtimesDoug Rupp1-0/+5
2018-05-23[Ada] Minor reformattingsHristian Kirtchev1-0/+5
2018-05-23[Ada] Fix memory leak in win32_wait error handlingPascal Obry1-0/+5
2018-05-23[Ada] Fix computation of handle/pid lists in win32_waitPascal Obry1-0/+4
2018-05-23[Ada] Spurious Storage_Error on imported arrayHristian Kirtchev1-0/+10
2018-05-23[Ada] Spurious error on instantiation with type with unknown discriminantsEd Schonberg1-0/+30
2018-05-23[Ada] Fix faulty preconditions for trigonometric functionsBoris Yakobowski1-0/+4
2018-05-23[Ada] Fix various defects found by static analysisArnaud Charlet1-0/+7
2018-05-23[Ada] gnatbind: do not list No_Implementation_RestrictionsBob Duff1-0/+8
2018-05-23[Ada] Implementation of AI12-0131: legality of class-wide preconditionEd Schonberg1-0/+7
2018-05-23[Ada] Crash processing Valid_Scalars whose evaluation is always trueJavier Miranda1-0/+8
2018-05-23[Ada] Vectors: spurious error in -gnatwE modeBob Duff1-0/+6
2018-05-23[Ada] Clarify meaning of local pragma Warnings Off without OnYannick Moy1-0/+6
2018-05-23[Ada] Add a Is_Foreign_Exception predicate to GNAT.Exception_ActionsOlivier Hainque1-0/+5
2018-05-23[Ada] Missing legality check on iterator over formal containerEd Schonberg1-0/+7
2018-05-23[Ada] Fix implementation of utility for finding enclosing declarationYannick Moy1-0/+5
2018-05-23[Ada] Suspension and elaboration warnings/checksHristian Kirtchev1-0/+17
2018-05-23[Ada] Restrict initialization of External_Tag and Expanded_NameJavier Miranda1-0/+11
2018-05-23[Ada] Fix of some permission rules of pointers in SPARKMaroua Maalej1-0/+4
2018-05-23[Ada] Crash on predicate involving qualified expression in instanceEd Schonberg1-0/+9
2018-05-23[Ada] Suppression of elaboration-related warningsHristian Kirtchev1-0/+4
generated by cgit v1.1 at 2024-11-07 01:09:50 +0000