aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
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
2018-10-09[Ada] Einfo: minor comment fixEric Botcazou2-1/+5
2018-10-09[Ada] Internal error on inlined renaming of subprogram instanceEric Botcazou2-2/+16
2018-10-09[Ada] Unnesting: fix handling of private types that are synchronizedEd Schonberg2-0/+14
2018-10-09[Ada] Fix expansion of operations on nonbinary modular typesEd Schonberg2-2/+21
2018-10-09[Ada] Unnesting: fix handling of uplevel refs to unconstrained formalsEd Schonberg2-6/+42
2018-10-09[Ada] Remove spurious -Wuninitialized warning for small array at -O2Eric Botcazou2-27/+51
2018-10-09[Ada] Bounded_Holders: fix a typoArnaud Charlet2-1/+5
2018-10-09[Ada] Functional_Vectors: remove default value for max sizeClaire Dross2-2/+6
2018-10-09[Ada] Reset Is_True_Constant on entites used as OUT/IN OUT actualsEd Schonberg2-0/+10
2018-10-09[Ada] Unnesting: avoid unnecessary loads of SystemEd Schonberg2-10/+23
2018-10-09[Ada] Spurious error message on visibiliy change in aspect expressionEd Schonberg2-1/+18
2018-10-09[Ada] Repinfo: list the mechanism of functions onlyEric Botcazou2-2/+6
2018-10-09[Ada] Various User Manual updates for GNATppBob Duff2-8/+35
2018-10-09[Ada] System.Os_Lib.Normalize_Pathname: fix incorrect commentVasiliy Fofanov2-2/+7
2018-10-09[Ada] Remove CodePeer annotationArnaud Charlet2-4/+4
2018-10-09[Ada] Preserve Do_Range_Check flags in SPARK modeEd Schonberg2-3/+8
2018-10-09[Ada] Spurious warning on uninitialized entity during code generationEd Schonberg2-0/+9
2018-10-01[Ada] use -gnatd_A to disable .ali on -fcompare-debug recompileAlexandre Oliva4-12/+13
2018-09-28calls.c (expand_call): Try to do a tail call for thunks at -O0 too.Eric Botcazou4-6/+262
2018-09-27tree.h (tree_to_shwi): Add attribute nonnull and pure.Martin Sebor2-7/+15
2018-09-26[Ada] SPARK: minor error message enhancementElisa Barboni2-1/+9
2018-09-26[Ada] Fix inheritance of representation items defined as aspectsThomas Quinot2-2/+28
2018-09-26[Ada] Spurious ineffective use_clause warningJustin Squirek2-1/+15
2018-09-26[Ada] Store -G xxx switchesArnaud Charlet2-7/+22
2018-09-26[Ada] Issue info message on inlined subprograms in GNATprove modeYannick Moy4-4/+20
2018-09-26[Ada] Missing front-end code for constraint checks on fixed point exprsEd Schonberg3-2/+31
2018-09-26[Ada] SPARK: fix a bug related to loop exit environmentMaroua Maalej2-23/+58
2018-09-26[Ada] Spurious elaboration issue due to inliningHristian Kirtchev2-54/+86
2018-09-26[Ada] Do not issue by default info messages for inlining in GNATproveYannick Moy3-8/+27
2018-09-26[Ada] Spurious error on interface conversion under ZFPJavier Miranda3-1/+41
2018-09-26[Ada] Add a No_Return annotation to ease static analysisHristian Kirtchev2-1/+6
2018-09-26[Ada] Spurious error on private extension with predicateEd Schonberg2-2/+10
2018-09-26[Ada] Spurious dependency on secondary stackHristian Kirtchev4-195/+362
2018-09-26[Ada] Mimic the C++ ABI when passing class-wide conversion actualsJavier Miranda2-0/+9
2018-09-26[Ada] Pair miscount in Dynamic_HTable.PutHristian Kirtchev2-2/+14
2018-09-26[Ada] Add notes about processing of aggregate projectsSergey Rybin2-2/+9
generated by cgit v1.1 at 2024-10-28 06:25:01 +0000