aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2020-12-14[Ada] Compiler crash on call to function instanceBob Duff1-0/+1
2020-12-14[Ada] Fix warning control character for message on IN OUT parameterYannick Moy1-3/+3
2020-12-14[Ada] Refine error messages on illegal Refined_State in SPARKYannick Moy1-23/+76
2020-12-14[Ada] Avoid reanalysis of malformed dependency relationsPiotr Trojanek1-3/+3
2020-12-14[Ada] Tidy up implementation of System.Fat_Gen.Valid and inline it againEric Botcazou2-86/+63
2020-12-14[Ada] Fix analysis of access objects in Depends contractsPiotr Trojanek1-5/+15
2020-12-14[Ada] Update comment for processing of pragma Assertion_PolicyPiotr Trojanek2-25/+26
2020-12-14[Ada] Correctly mark subprogram as not always inlined in GNATprove modeYannick Moy3-23/+25
2020-12-14[Ada] Adjust documentation of System.Img_Util.Set_Decimal_DigitsEric Botcazou1-9/+12
2020-12-11Daily bump.GCC Administrator1-0/+6
2020-12-10Fix PR ada/98230Ed Schonberg1-2/+4
2020-12-08Daily bump.GCC Administrator1-0/+42
2020-12-07Housekeeping work in gigiEric Botcazou2-5/+4
2020-12-07Fix internal error on library-level type extended locallyEric Botcazou1-2/+5
2020-12-07Fix assembler name collisionEric Botcazou2-1/+5
2020-12-07Fix oversight in earlier changeEric Botcazou1-0/+1
2020-12-07Fix corner case issue with discriminated record typeEric Botcazou1-4/+14
2020-12-07Fix problematic conversion to boolean typeEric Botcazou1-7/+9
2020-12-07Fix PR ada/97504 for mips*-linuxMatthias Klose1-0/+1
2020-12-01Daily bump.GCC Administrator1-0/+417
2020-11-30[Ada] s-trasym.ads: update the list of supported platformsPierre-Marie de Rodat1-1/+2
2020-11-30[Ada] Remove all ^L charactersArnaud Charlet2-3/+3
2020-11-30[Ada] Enable checks on runtime by defaultArnaud Charlet4-7/+17
2020-11-30[Ada] Wrong replacement of Component.DiscriminantArnaud Charlet1-57/+0
2020-11-30[Ada] Minor reuse Is_AssignablePiotr Trojanek1-2/+1
2020-11-30[Ada] Simplify analysis of assignment statementsPiotr Trojanek1-32/+26
2020-11-30[Ada] Minor reuse Is_Protected_ComponentPiotr Trojanek2-4/+2
2020-11-30[Ada] Fix internal error on extended return and fixed-point resultEric Botcazou2-15/+15
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes15-268/+900
2020-11-30[Ada] Improve error recoveryArnaud Charlet2-2/+0
2020-11-30[Ada] Reimplement Ada.Numerics.Big_Numbers.Big_Reals.Fixed_ConversionsEric Botcazou1-8/+61
2020-11-30[Ada] Compiler crash on limited conditional expressionsBob Duff1-5/+5
2020-11-30[Ada] Expand integer-only implementation of ordinary fixed-point typesEric Botcazou24-993/+1543
2020-11-30[Ada] Implement -gnateb switchGhjuvan Lacambre7-4/+44
2020-11-30[Ada] Potential read of uninitialized variable in exp_dist.adbArnaud Charlet1-1/+1
2020-11-30[Ada] Address warning compiling terminals.cArnaud Charlet1-1/+1
2020-11-30[Ada] Add stream-oriented attributes support for 128-bit integer typesEric Botcazou6-115/+248
2020-11-30[Ada] Spurious error on iterator over container with modified private partEd Schonberg1-1/+12
2020-11-30[Ada] Add comment on special Heap variable used in GNATproveYannick Moy1-1/+2
2020-11-30[Ada] Fix serial port control setting on GNU/LinuxPascal Obry1-30/+1
2020-11-30[Ada] Minor style fixesPascal Obry1-3/+2
2020-11-30[Ada] Fix folding of comparison operators in GNATprove modePiotr Trojanek2-18/+12
2020-11-30[Ada] Crash on ghost assignment check for illegal codeBob Duff3-10/+9
2020-11-30[Ada] Add continuation message when others choice not allowedYannick Moy1-4/+9
2020-11-30[Ada] Small cleanup in System.Value_FEric Botcazou1-30/+16
2020-11-30[Ada] Confusion in Transform_Function_Array and internal subprogramsArnaud Charlet6-245/+206
2020-11-30[Ada] Spurious visibility error in subprogram body in with_clauseEd Schonberg1-0/+7
2020-11-30Daily bump.GCC Administrator1-0/+6
2020-11-29Fix PR ada/97504 on hppa*-*-hpux*.John David Anglin1-0/+2
2020-11-28Daily bump.GCC Administrator1-0/+253
generated by cgit v1.1 at 2025-09-20 08:27:21 +0000