aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2018-11-26re PR ada/88191 (ada bootstrap failure on alpha-linux-gnu ("SIGSYS" not decla...Matthias Klose2-0/+6
2018-11-20PR81878: fix --disable-bootstrap --enable-languages=adaAlexandre Oliva2-0/+15
2018-11-19Bump copyright yearEric Botcazou1-1/+1
2018-11-19* gcc-interface/cuintp.c (UI_From_gnu): Remove code for 32-bit hosts.Eric Botcazou2-23/+17
2018-11-15misc.c (gnat_init_gcc_eh): Do not override the switch -fnon-call-exceptions p...Eric Botcazou2-1/+9
2018-11-14[Ada] Problem with boundary case of XOR operation and unnestingEd Schonberg5-13/+41
2018-11-14[Ada] Update signal constants for GNU/LinuxPatrick Bernardi11-63/+83
2018-11-14[Ada] Fix small regression with others choice in array aggregateEric Botcazou2-32/+69
2018-11-14[Ada] sigtramp-vxworks: Add a rule for sp (DWARF r31) on AArch64Olivier Hainque2-0/+7
2018-11-14[Ada] Remove couple of recently added dead testsEric Botcazou2-8/+11
2018-11-14[Ada] Spurious error on Ghost null procedureHristian Kirtchev2-11/+43
2018-11-14[Ada] More complete information level for -gnatR outputEric Botcazou8-36/+108
2018-11-14[Ada] Crash on interface equality covered by a renaming declarationJavier Miranda2-9/+19
2018-11-14[Ada] Use of Suppress_Initialization with pragma Thread_Local_StorageHristian Kirtchev2-33/+73
2018-11-14[Ada] Missing constraint check on if-expression returning a stringEd Schonberg2-19/+41
2018-11-14[Ada] Fix assertion failure on pragma Compile_Time_Error in generic unitEric Botcazou2-0/+7
2018-11-14[Ada] Crash on use of generic formal packageJustin Squirek2-0/+10
2018-11-14[Ada] Compiler crash on decl. with limited aggregate and address clauseEd Schonberg3-1/+29
2018-11-14[Ada] System'To_Address not always staticBob Duff6-104/+90
2018-11-14[Ada] Enhance constraints propagation to ease the work of optimizersEd Schonberg3-9/+48
2018-11-14[Ada] Minor reformattingHristian Kirtchev16-104/+105
2018-11-14[Ada] Renamed equality leads to spurious errorsHristian Kirtchev2-29/+74
2018-11-14[Ada] Crash on ignored Ghost assignmentHristian Kirtchev7-130/+224
2018-11-14[Ada] Visibility error on used enumerated typeJustin Squirek2-2/+19
2018-11-14[Ada] Do not include crt_externs.h on iOSJerome Lambourg2-3/+14
2018-11-14[Ada] Unnesting transformations for blocks in package bodiesEd Schonberg2-0/+83
2018-11-14[Ada] Improper extension of bounds of fixed-point typeEd Schonberg2-3/+12
2018-11-14[Ada] Limited function violates No_Exception_PropagationHristian Kirtchev6-19/+49
2018-11-14[Ada] Crash on tagged equalityHristian Kirtchev2-59/+84
2018-11-14[Ada] Record components do not appear in the Global contractPiotr Trojanek2-6/+11
2018-11-14[Ada] Fix handling of generic actuals with default expression in SPARKPiotr Trojanek3-3/+15
2018-11-14[Ada] Lingering loop for ignored Ghost assignmentHristian Kirtchev7-16/+42
2018-11-14[Ada] Use Cancel_Special_Output instead of Set_Special_Output with nullPiotr Trojanek5-4/+9
2018-11-14[Ada] Fix parentheses in comments and "library-level" punctuationPiotr Trojanek3-4/+8
2018-11-14[Ada] Handle -gx switches explicitlyArnaud Charlet2-0/+25
2018-11-13misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions for the runtime on platf...Eric Botcazou2-2/+12
2018-11-08fe.h (Suppress_Checks): Declare.Eric Botcazou4-54/+26
2018-11-08decl.c (components_to_record): Remove obsolete kludge.Eric Botcazou3-25/+29
2018-10-22utils.c (unchecked_convert): Use local variables for the biased and reverse S...Eric Botcazou2-35/+59
2018-10-22trans.c (Pragma_to_gnu): Use a simple memory constraint in all cases.Eric Botcazou3-20/+13
2018-10-18Fix missing entry to gcc/ada/ChangeLog for r265240David Malcolm1-0/+4
2018-10-17Run selftests for C++ as well as CDavid Malcolm1-0/+3
2018-10-09[Ada] Fix spurious -Wuninitialized warnings for small recordsEric Botcazou4-28/+99
2018-10-09[Ada] Fix incorrect computation of Component_Size in ASIS modeEric Botcazou3-4/+12
2018-10-09[Ada] Minor tweaks to suppress warningsEric Botcazou4-9/+27
2018-10-09[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove modeYannick Moy2-0/+16
2018-10-09[Ada] Fix spurious error on derived record passed as Out parameterEric Botcazou2-0/+11
2018-10-09[Ada] SPARK: fix bug related to non access object permissionsMaroua Maalej2-18/+7
2018-10-09[Ada] Minor copyright header fixDoug Rupp2-1/+5
2018-10-09[Ada] Fix strange warning when using Ada.Iterator_InterfaceEric Botcazou2-2/+11