aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
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
2018-05-25[Ada] Checks on instantiations with formal derived types with interfacesEd Schonberg2-0/+48
2018-05-25[Ada] Fix handling of Loop_Entry for CodePeer/SPARKYannick Moy2-3/+21
2018-05-25[Ada] Support for C99 and C++ standard boolean typesEric Botcazou5-13/+60
2018-05-25[Ada] Do not print non ASCII characters in debug routinesArnaud Charlet2-2/+14
2018-05-25[Ada] Unbounded strings: inline Initialize and AdjustBob Duff4-0/+8
2018-05-25[Ada] Minor comment fixBob Duff2-1/+5
2018-05-25[Ada] Refine checks for uplevel referencesEd Schonberg2-6/+34
2018-05-25[Ada] Compiler loop on expression function and predicate in generic unitEd Schonberg2-6/+18
2018-05-25[Ada] Detect misplaced assertions between loop invariantsYannick Moy2-2/+12
2018-05-25[Ada] Document new switch --copy-environment for gnattestFedor Rybin2-0/+12
2018-05-24[Ada] Simplify routines with a local Result variablePiotr Trojanek3-18/+16
2018-05-24[Ada] Fix irregular output with -gnatR3Eric Botcazou4-40/+56
2018-05-24[Ada] Minor clean-ups in gigiEric Botcazou2-24/+33
2018-05-24[Ada] Wrong renaming of variant record equalityJavier Miranda4-110/+187
2018-05-24[Ada] Add a new Is_Activation_Record flag on IN parametersEd Schonberg4-8/+51
2018-05-24[Ada] Improve GNATprove messages on unproved checksYannick Moy2-8/+66
2018-05-24[Ada] Missing error on illegal access to discriminantJavier Miranda3-4/+24
2018-05-24[Ada] Infinite loop in the compiler when warning on redundant constructsEd Schonberg2-1/+13
2018-05-24[Ada] Minor fix grammar in comment of N_Defining_IdentifierPiotr Trojanek2-1/+5
2018-05-24[Ada] Quadratic compile time with tagged typesJustin Squirek16-425/+428
2018-05-24[Ada] Spurious error due to lingering limited viewHristian Kirtchev2-149/+306
2018-05-24[Ada] Handle version 2 of Windows unwinding information structuresEric Botcazou3-77/+111
2018-05-24[Ada] Minor reformattingHristian Kirtchev4-17/+27
2018-05-24[Ada] Add warning on redundant others_clause in array aggregateEd Schonberg2-0/+12
2018-05-24[Ada] Update Ada.Containers.Hashed_Maps documentation with Ada RM doc.Raphael Amiard2-82/+175
2018-05-24[Ada] Add documentation from the Ada RM to Ada.Containers.VectorRaphael Amiard2-0/+310
2018-05-24[Ada] Crash on return of raise expressionJustin Squirek3-4/+22
2018-05-24[Ada] Crash on function in Ghost subunitHristian Kirtchev2-15/+39
2018-05-24[Ada] Ineffective use warning is suppressed when performing verificationJustin Squirek2-1/+13
2018-05-24[Ada] Fix typos in documentationCyrille Comar3-11/+16
2018-05-24[Ada] Memory leak mixing limited and nonlimited functionsBob Duff2-5/+64
2018-05-24[Ada] Spurious error on pragma Independent_ComponentsHristian Kirtchev2-0/+37
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev22-195/+424
2018-05-24[Ada] Fix inconsistent documentation for the Contract_Cases pragmaPiotr Trojanek3-13/+20
2018-05-24[Ada] Expansion of discrete choicesHristian Kirtchev2-0/+8
2018-05-24[Ada] Spurious error on imported subprogram with preconditionHristian Kirtchev2-3/+21
2018-05-24[Ada] Spurious error on private task derivationJavier Miranda3-6/+14
2018-05-24[Ada] Crash on compilation unit instanceHristian Kirtchev2-0/+51
2018-05-24[Ada] Fix references to Backend_Layout configuration parameterPiotr Trojanek3-8/+13
2018-05-24[Ada] Initial port of x86-lynx178elf runtimesDoug Rupp3-0/+244
2018-05-23[Ada] Minor reformattingsHristian Kirtchev6-38/+47
2018-05-23[Ada] Fix memory leak in win32_wait error handlingPascal Obry2-0/+7
2018-05-23[Ada] Fix computation of handle/pid lists in win32_waitPascal Obry2-2/+6
2018-05-23[Ada] Spurious Storage_Error on imported arrayHristian Kirtchev4-104/+145
2018-05-23[Ada] Spurious error on instantiation with type with unknown discriminantsEd Schonberg6-12/+140
2018-05-23[Ada] Fix faulty preconditions for trigonometric functionsBoris Yakobowski2-2/+6
2018-05-23[Ada] Fix various defects found by static analysisArnaud Charlet3-8/+21