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-08-20	pmderodat	[Ada] Efficiency improvement in bounded ordered containers	blob \| commitdiff \| raw
2019-08-20	pmderodat	[Ada] Warning for out-of-order record representation...	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Object_Size clause specifying 0 bits is illegal	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Pragma Warning_As_Error works for style warnings	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Get rid of linear searches in Lib	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Sem_Ch13: fix uninitialized parameter static...	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Revert change for gnatprove that is no longer...	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Document requirements for Pragma Lock_Free	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Initialize gnat_argc/gnat_argv only the first...	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Fix documentation for GNAT.Command_Line.Exit_From...	blob \| commitdiff \| raw \| diff to current
2019-08-20	pmderodat	[Ada] Add missing dot at the end of lang.opt doc for...	blob \| commitdiff \| raw \| diff to current
2019-08-20	rsandifo	Use function_arg_info for TARGET_PASS_BY_REFERENCE	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Fix documentation for stream oriented attributes	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Einfo: update comments for E_Function and E_Procedure	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Fix bogus compilation error with Elaborate_Body...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Suppress warnings on unreferenced parameters...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Crash on object initialization that is call to...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Conversion routines between GNAT.OS_Lib.OS_Time...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Incorrect code for -gnateV switch	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Import documentation from the RM for various...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Generate ada_target_properties	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Lift restriction on instantiations that are compi...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Legality of protected subp. implementing interfac...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Buffer reading overflow in dispatch table initial...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Process type extensions for -gnatw.h	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Improve warnings about "too few elements" and...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Enable use of GNAT.Sockets for VxWorks RTP	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Fix incorrect stub generation for types in instances	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Improve placement of warning on formals of generi...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Factor out the "size for& too small..." error...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Fix internal error on subprogram instantiation...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Document missing gnatmetric switches	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Minor refactorings	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Allow reading a borrowed object inside a call...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Add formal function parameter equality to SPARK...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Opt: clean up left-overs of earlier implementatio...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Representation clause for derived enumeration...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Do not skip non-aliasing checking when inlining...	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Fix thinko in Acc_Loop_to_gnu	blob \| commitdiff \| raw \| diff to current
2019-08-19	pmderodat	[Ada] Define the -fdump-scos option in lang.opt	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Improve performance of Containers.Functional_Base	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Alignment may be specified as zero	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Do not crash with -gnatR3 on Ghost aspects	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Warn about unknown condition in Compile_Time_Warning	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Further cleanup in the inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Incorrect error on inline protected function	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Defer processing of unknown CTW/E conditions...	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Compiler speedup with inlining across units	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Equality for nonabstract type derived from interf...	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Strengthen Locked flag	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Remove documentation of gnatelim	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Tweak the sloc of Compile_Time_Warning warnings	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Minor: remove a ??? comment	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Remove obsolete Pending_Descriptor table and...	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Spurious error in discriminated aggregate	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Fix internal error on inlined subprogram instance	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Crash on quantified expression in disabled assertion	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Sem_Util: fix a bug in New_Copy_Tree	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Expose part of ownership checking for use in...	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Check SPARK restriction on Old/Loop_Entry with...	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Fix spurious ownership error in GNATprove	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Fix discrepancy in mechanism tracking private...	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Fix a recent ACATS regression (c552001)	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Crash on precondition involving quantified expression	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Fix failing assertions on SPARK elaboration	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Small internal improvements to the inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Illegal selection of first object in a task type...	blob \| commitdiff \| raw \| diff to current
2019-08-14	pmderodat	[Ada] Minor refactoring in Einfo	blob \| commitdiff \| raw \| diff to current
2019-08-13	rsandifo	Use checking forms of DECL_FUNCTION_CODE (PR 91421)	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Remove unused component in record type	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Build full derivation for private concurrent...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Legality rule on ancestors of type extensions...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Fix spurious instantiation error on private recor...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Wrong dispatching call in type with aspect Implic...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Do not remove side-effects in an others_clause...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Add GNAT.Branch_Prediction to Impunit	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Small cleanup and improvement in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Fix bogus style check failure with pragma Style_C...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Protect analysis of Indexing aspect against casca...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Add conformance check on actual subp. in instance...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Do full name qualification of local exception...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Compiler may blow up on array aggregates whose...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Implement pragma Max_Entry_Queue_Length	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Avoid crash in GNATprove_Mode on allocator inside...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Avoid crash in GNATprove due to inlining inside...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Spurious error on nested instantiation	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Do not set Back_End_Inlining in ASIS mode	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Systematically pass LN_S to relevant gnatlib...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Avoid spurious errors on dimensionality checking...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Disable anonymous allocator warning for library...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Add/fix documentation for the Double_*_Alignment...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Fix spurious error on nested instantiation with...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Wrong initialization of Offset_To_Top in secondary DT	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Add ability to list compiler switches with gnatcmd	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom