c++: Correct the handling of alignof(expr) [PR88115]
[gcc.git] / gcc / ada /
2020-11-11 Eric BotcazouRemove superfluous call to Base_Type
2020-11-11 Eric BotcazouFix biased integer arithmetic
2020-11-11 Eric BotcazouFix segfault on elaboration of empty 1-element array...
2020-11-11 Eric BotcazouFix internal error on chain of constants with -gnatc
2020-11-11 Eric BotcazouFix internal error with Shift_Right operator on signed...
2020-11-08 GCC AdministratorDaily bump.
2020-11-07 Eric BotcazouFix Ada build failure for the SuSE PowerPC64/Linux...
2020-11-07 Iain SandoeAda : Fix bootstrap after r11-4793.
2020-10-29 GCC AdministratorDaily bump.
2020-10-28 Alexandre Oliva[PR97504] riscv needs wraplf for aux_long_long_float too
2020-10-28 GCC AdministratorDaily bump.
2020-10-27 Doug Rupp[Ada] vx7r2cert: port ARM, PowerPC and x86 targets
2020-10-27 Arnaud Charlet[Ada] Warnings on g-spogwa.adb
2020-10-27 Piotr Trojanek[Ada] Fix GNATprove support for iterated_component_asso...
2020-10-27 Ed Schonberg[Ada] Multidimensional arrays with Iterated_Component_A...
2020-10-27 Ghjuvan Lacambre[Ada] CUDA: handle parameter associations in expansion...
2020-10-27 Eric Botcazou[Ada] Remove Digits_From_Size and Width_From_Size
2020-10-27 Arnaud Charlet[Ada] New flag Transform_Function_Array
2020-10-27 Dmitriy Anisimkov[Ada] Improve EINTR error handling on "poll" system...
2020-10-27 GCC AdministratorDaily bump.
2020-10-26 Ed Schonberg[Ada] Handle Iterated_Component_Association with Others...
2020-10-26 Eric Botcazou[Ada] Further small edition to documentation of Ada...
2020-10-26 Pat Rogers[Ada] Replace GNAT_Extended_Ravenscar profile name
2020-10-26 Bob Duff[Ada] Avoid crash on use of Ada 2020 feature
2020-10-26 Eric Botcazou[Ada] Further small edition to documentation of Ada...
2020-10-26 Piotr Trojanek[Ada] Fix freezing of previous contracts
2020-10-26 Eric Botcazou[Ada] Another small edition to documentation of Ada...
2020-10-26 Piotr Trojanek[Ada] Fix harmless assertion failure in GNATprove mode
2020-10-26 Eric Botcazou[Ada] Document characteristics of ordinary fixed point...
2020-10-26 Eric Botcazou[Ada] Relax assertion on Small in Ada.Text_IO.Fixed_IO
2020-10-26 Dmitriy Anisimkov[Ada] Fix Accept_Socket and Connect_Socket timeout...
2020-10-26 Eric Botcazou[Ada] Minor editions to documentation of Ada.Text_IO...
2020-10-26 Yannick Moy[Ada] Fix GNATprove crash on generics with access types
2020-10-26 Arnaud Charlet[Ada] Suppress warnings on unreferenced parameters...
2020-10-26 Piotr Trojanek[Ada] Fix typos in error message for array delta aggregates
2020-10-26 Olivier Hainque[Ada] Restore hex addresses and improve symbolic backtraces
2020-10-26 Doug Rupp[Ada] x86-lynx178elf - gcc build fails
2020-10-26 Piotr Trojanek[Ada] Fix interference between iterated element-and...
2020-10-26 Yannick Moy[Ada] Do not instantiate generic bodies outside of...
2020-10-26 Ed Schonberg[Ada] Spurious error on Old attribute reference in...
2020-10-26 Bob Duff[Ada] gnatpp: Document that --no-comments-fill is now...
2020-10-26 Gary Dismukes[Ada] Missing errors on extension aggregates with unkno...
2020-10-26 Bob Duff[Ada] Delete: set Position to No_Element
2020-10-26 Arnaud Charlet[Ada] Improve error on missing with clause
2020-10-26 Piotr Trojanek[Ada] Fix SPARK expansion of iterated_component_assoc...
2020-10-26 Piotr Trojanek[Ada] Cleanup SPARK expansion of aggregates with iterat...
2020-10-26 Piotr Trojanek[Ada] Fix typos in comments about parsing iterated_comp...
2020-10-26 Arnaud Charlet[Ada] AI12-0395: Allow aspect_specifications on formal...
2020-10-26 Ed Schonberg[Ada] Crash on membership test in expression function
2020-10-26 Piotr Trojanek[Ada] Handle subtype_indication in 'Update for arrays
2020-10-26 GCC AdministratorDaily bump.
2020-10-25 Iain SandoeAda, Darwin, PowerPC : Fix bootstrap after 128 int...
2020-10-24 GCC AdministratorDaily bump.
2020-10-23 Iain SandoeDarwin, Ada : Fix bootstrap after stat entry changes.
2020-10-23 Eric BotcazouFix typo in recent change to Makefile.rtl (bis)
2020-10-23 Eric BotcazouFix typo in recent change to Makefile.rtl
2020-10-23 Alexandre Olivamore wraplf for aux long long float: s390, sparc and...
2020-10-23 Dmitriy Anisimkov[Ada] Sockets.Poll implementation
2020-10-23 Justin Squirek[Ada] Further Ada 2020 work on accessibility checking
2020-10-23 Bob Duff[Ada] gnatpp: Document --no-comments-fill
2020-10-23 Piotr Trojanek[Ada] Reject illegal syntax in pragma Contract_Cases
2020-10-23 Philippe Gil[Ada] GNAT.Sockets: fix comment typo
2020-10-23 Eric Botcazou[Ada] Implement new legality rules introduced in C...
2020-10-23 Arnaud Charlet[Ada] Clean up in writing of ALI files
2020-10-23 Arnaud Charlet[Ada] Fix logic in C_Select under mingw
2020-10-23 Eric Botcazou[Ada] Do not use Long_Long_Long_Integer'Image with...
2020-10-23 Ed Schonberg[Ada] Crash on expression function and access type
2020-10-23 Piotr Trojanek[Ada] Fix crash in SPARK on array delta_aggregate with...
2020-10-23 Piotr Trojanek[Ada] Decorate iterated_component_association in SPARK...
2020-10-23 Johannes Kanig[Ada] GNATprove: remove support for external axiomatiza...
2020-10-23 Ed Schonberg[Ada] Ignore container types for aggregates if not...
2020-10-23 Arnaud Charlet[Ada] Improve documentation of pragma Abort_Defer
2020-10-23 Ghjuvan Lacambre[Ada] CUDA: fix CUDA_Execute not working with aggregates
2020-10-23 Arnaud Charlet[Ada] Error when closing c_stream
2020-10-23 Ghjuvan Lacambre[Ada] CUDA: Use internal types instead of public ones
2020-10-23 Arnaud Charlet[Ada] Missing detection of unused with_clause
2020-10-23 Ed Schonberg[Ada] Prevent copying uninitialized array with address...
2020-10-23 Javier Miranda[Ada] Spurious errors on tagged types with renamed...
2020-10-23 Piotr Trojanek[Ada] Fix scope of index parameter inside a delta aggregate
2020-10-23 Gary Dismukes[Ada] Better error for illegal call to abstract operati...
2020-10-23 Eric Botcazou[Ada] Always enable the support for 128-bit integer...
2020-10-23 Arnaud Charlet[Ada] Update header of front-end files
2020-10-23 Arnaud Charlet[Ada] Take advantage of Long_Long_Long_Integer in From_...
2020-10-23 Justin Squirek[Ada] Iterative patch for accessibility cleanup
2020-10-23 Piotr Trojanek[Ada] Sync code for external properties with SPARK RM
2020-10-23 Piotr Trojanek[Ada] Fix whitespace in code for external property...
2020-10-23 Piotr Trojanek[Ada] Fix default value for re-analysis of external...
2020-10-23 GCC AdministratorDaily bump.
2020-10-22 Eric Botcazou[Ada] Enable the support of 128-bit integer types by...
2020-10-22 Javier Miranda[Ada] ACATS 4.1H - B853001 - missed errors for renamed...
2020-10-22 Ghjuvan Lacambre[Ada] CUDA: discover runtime types instead of hard...
2020-10-22 Arnaud Charlet[Ada] Add more annotations and assertions in the runtime
2020-10-22 Arnaud Charlet[Ada] Update annotations for codepeer analysis on GNAT...
2020-10-22 Steve Baird[Ada] AI12-0211: Consistency of inherited nonoverridabl...
2020-10-22 Eric Botcazou[Ada] Update the head comment of Check_Compile_Time_Size
2020-10-22 Richard Kenner[Ada] Allow use of debug routines when output is going...
2020-10-22 Eric Botcazou[Ada] Minor fix in GNAT RM
2020-10-22 Steve Baird[Ada] Implement AI12-0280's interactions with container...
2020-10-22 Eric Botcazou[Ada] Get rid of useless if-then-else in Exp_Fixd.Fpt_Value
2020-10-22 Ed Schonberg[Ada] Ada_2020 AI12-0250: Iterator filters in Iterated_...
next