git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/ChangeLog

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / ChangeLog

2019-01-01	jakub	Update copyright years.	blob \| commitdiff \| raw
2019-01-01	jakub	* gcc.c (process_command): Update copyright notice...	blob \| commitdiff \| raw \| diff to current
2018-12-23	iains	Fix Ada bootstrap for Darwin9 and earlier.	blob \| commitdiff \| raw \| diff to current
2018-12-14	ebotcazou	* gcc-interface/decl.c (rm_size): Take into account...	blob \| commitdiff \| raw \| diff to current
2018-12-14	ebotcazou	* dwarf2out.c (analyze_discr_in_predicate): Simplify.	blob \| commitdiff \| raw \| diff to current
2018-12-11	ebotcazou	libada/	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Add "Global => null" contracts to Ada.Calendar...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Spurious error with pragma Thread_Local_Storage	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] GNAT.Sockets: add IPv6 support	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Do not expand code inside ignored ghost bodies	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Unnesting: do not eliminate subprogram whose...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Crash on misplaced First operation for GNAT itera...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Volatility, validity checks, and System.Aux_DEC	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Improve error message when named number passed...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Unnesting: fix a missing activation record	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Unnesting: ensure Current_Subprogram is always...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Fix -gnatR3 output for dynamically constrained...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Fix setting of Has_Predicate flag for aggregate...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Plug small loophole with pathological packed...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Fix elaboration of record with 1-element dynamic...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] gnatbind: ghost code with -gnatQ	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Unnesting: fix for constrained arrays and improve...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Missing predicate check on declaration with aggre...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Crash on generic instantiation in ignored Ghost...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Uintp: add a new UI_From_Integral generic constructor	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Crash on compilation unit function that builds...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] GNAT.Sockets: fix timeout computations for sockets	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Crash on ignored Ghost expression function	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Remove vxlink and vxaddr2line from this repository	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Complete implementation of RM C.6(19) clause	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Stubs that complete generic subprogram do have...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] GNATprove: improve proofs for uninitialized const...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Support access types in GNATprove	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Better error message from GNATprove on illegal...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Fix runtime stack overflow for out/in-out actuals...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Additionsal trasformations for unnesting in packa...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Remove vxworks*-crtbe-link.spec	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Spurious visibility error on aspect Predicate	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Fix an ICE on instantiated subprogram with -gnatc	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Update gnatmetric documentation for the Libadalan...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Fix an ACATS regression with CCG	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Update gnatstub documentation for the Libadalang...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Spurious errors on aspect specifications in gener...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Document the -fgnat-encodings switch	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Crash on nesting of subunits with bodies acting...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Suppress call to Initial_Condition when the annot...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Almost always inline init. procedure of small...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Fixes for various wrong and missing error message...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Spurious error on dependent expression that is...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Add leap seconds for 2015 and 2016	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Spelling fixes and minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Fix recent regression on array aggregate with...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Fix internal error on package instantiation on...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Fix problematic overloading of operator in Ada...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] A task not executing an entry call consumes an...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Fix assertion failures with -gnatde and -gnatdv	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Enhance comment	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Gigi support for OpenACC pragmas	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Missing check on if-expression	blob \| commitdiff \| raw \| diff to current
2018-11-26	doko	2018-11-26 Matthias Klose <doko@ubuntu.com>	blob \| commitdiff \| raw \| diff to current
2018-11-20	aoliva	PR81878: fix --disable-bootstrap --enable-languages=ada	blob \| commitdiff \| raw \| diff to current
2018-11-19	ebotcazou	* gcc-interface/cuintp.c (UI_From_gnu): Remove code...	blob \| commitdiff \| raw \| diff to current
2018-11-15	ebotcazou	* gcc-interface/misc.c (gnat_init_gcc_eh): Do not...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Problem with boundary case of XOR operation and...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Update signal constants for GNU/Linux	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Fix small regression with others choice in array...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] sigtramp-vxworks: Add a rule for sp (DWARF r31...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Remove couple of recently added dead tests	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Spurious error on Ghost null procedure	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] More complete information level for -gnatR output	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Crash on interface equality covered by a renaming...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Use of Suppress_Initialization with pragma Thread...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Missing constraint check on if-expression returni...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Fix assertion failure on pragma Compile_Time_Erro...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Crash on use of generic formal package	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Compiler crash on decl. with limited aggregate...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] System'To_Address not always static	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Enhance constraints propagation to ease the work...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Renamed equality leads to spurious errors	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Crash on ignored Ghost assignment	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Visibility error on used enumerated type	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Do not include crt_externs.h on iOS	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Unnesting transformations for blocks in package...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Improper extension of bounds of fixed-point type	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Limited function violates No_Exception_Propagation	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Crash on tagged equality	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Record components do not appear in the Global...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Fix handling of generic actuals with default...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Lingering loop for ignored Ghost assignment	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Use Cancel_Special_Output instead of Set_Special_...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Fix parentheses in comments and "library-level...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Handle -gx switches explicitly	blob \| commitdiff \| raw \| diff to current
2018-11-13	ebotcazou	* gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon...	blob \| commitdiff \| raw \| diff to current
2018-11-08	ebotcazou	* fe.h (Suppress_Checks): Declare.	blob \| commitdiff \| raw \| diff to current
2018-11-08	ebotcazou	* gcc-interface/decl.c (components_to_record): Remove...	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom