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

]> git.ipfire.org Git - thirdparty/gcc.git/search

projects / thirdparty / gcc.git / search

2019-08-20	pmderodat	[Ada] Revert change for gnatprove that is no longer...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Document requirements for Pragma Lock_Free	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Initialize gnat_argc/gnat_argv only the first...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Fix documentation for GNAT.Command_Line.Exit_From_Comm...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Add missing dot at the end of lang.opt doc for...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Fix documentation for stream oriented attributes	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Einfo: update comments for E_Function and E_Procedure	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Fix bogus compilation error with Elaborate_Body...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Suppress warnings on unreferenced parameters...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Crash on object initialization that is call to...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Conversion routines between GNAT.OS_Lib.OS_Time...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Incorrect code for -gnateV switch	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Import documentation from the RM for various...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Generate ada_target_properties	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Lift restriction on instantiations that are compilatio...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Further cleanup in inlining machinery	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Legality of protected subp. implementing interface...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Buffer reading overflow in dispatch table initialization	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Process type extensions for -gnatw.h	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Improve warnings about "too few elements" and...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Enable use of GNAT.Sockets for VxWorks RTP	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Fix incorrect stub generation for types in instances	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Improve placement of warning on formals of generic...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Factor out the "size for& too small..." error...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Fix internal error on subprogram instantiation...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Document missing gnatmetric switches	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Minor refactorings	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Allow reading a borrowed object inside a call...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Add formal function parameter equality to SPARK...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Opt: clean up left-overs of earlier implementation...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Representation clause for derived enumeration...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Do not skip non-aliasing checking when inlining...	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Further cleanup in inlining machinery	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Fix thinko in Acc_Loop_to_gnu	commit \| commitdiff \| tree
2019-08-19	pmderodat	[Ada] Define the -fdump-scos option in lang.opt	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Improve performance of Containers.Functional_Base	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Alignment may be specified as zero	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Further cleanup in inlining machinery	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Further cleanup in inlining machinery	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Do not crash with -gnatR3 on Ghost aspects	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Warn about unknown condition in Compile_Time_Warning	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Further cleanup in the inlining machinery	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Incorrect error on inline protected function	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Defer processing of unknown CTW/E conditions...	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Compiler speedup with inlining across units	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Equality for nonabstract type derived from interface...	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Strengthen Locked flag	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Remove documentation of gnatelim	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Tweak the sloc of Compile_Time_Warning warnings	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Minor: remove a ??? comment	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Remove obsolete Pending_Descriptor table and...	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Spurious error in discriminated aggregate	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Fix internal error on inlined subprogram instance	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Crash on quantified expression in disabled assertion	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Sem_Util: fix a bug in New_Copy_Tree	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Expose part of ownership checking for use in...	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Check SPARK restriction on Old/Loop_Entry with...	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Fix spurious ownership error in GNATprove	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Fix discrepancy in mechanism tracking private...	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Fix a recent ACATS regression (c552001)	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Crash on precondition involving quantified expression	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Fix failing assertions on SPARK elaboration	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Small internal improvements to the inlining machinery	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Illegal selection of first object in a task type...	commit \| commitdiff \| tree
2019-08-14	pmderodat	[Ada] Minor refactoring in Einfo	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Remove unused component in record type	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Build full derivation for private concurrent...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Legality rule on ancestors of type extensions...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Fix spurious instantiation error on private record...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Wrong dispatching call in type with aspect Implicit_De...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Do not remove side-effects in an others_clause...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Add GNAT.Branch_Prediction to Impunit	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Small cleanup and improvement in inlining machinery	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Fix bogus style check failure with pragma Style_Checks...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Protect analysis of Indexing aspect against cascaded...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Add conformance check on actual subp. in instance...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Do full name qualification of local exception...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Compiler may blow up on array aggregates whose...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Implement pragma Max_Entry_Queue_Length	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Avoid crash in GNATprove_Mode on allocator inside...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Avoid crash in GNATprove due to inlining inside...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Spurious error on nested instantiation	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Do not set Back_End_Inlining in ASIS mode	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Systematically pass LN_S to relevant gnatlib...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Avoid spurious errors on dimensionality checking...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Disable anonymous allocator warning for library...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Add/fix documentation for the Double_*_Alignment...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Fix spurious error on nested instantiation with...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Wrong initialization of Offset_To_Top in secondary DT	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Add ability to list compiler switches with gnatcmd	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Better exception message on Invalid_Switch exception	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Complete the more extended AST traversal used...	commit \| commitdiff \| tree
2019-08-13	pmderodat	[Ada] Extend range type in search primitives of formal...	commit \| commitdiff \| tree
2019-08-12	pmderodat	[Ada] Fix IPv6 numeric address detection	commit \| commitdiff \| tree
2019-08-12	pmderodat	[Ada] New parameter Quiet for procedure GNAT.Command_Line...	commit \| commitdiff \| tree
2019-08-12	pmderodat	[Ada] Missing check on outbound parameter of a non...	commit \| commitdiff \| tree
2019-08-12	pmderodat	[Ada] Crash on illegal left-hand side in assignment...	commit \| commitdiff \| tree
2019-08-12	pmderodat	[Ada] Small comment tweaks for 3 predicates on bit...	commit \| commitdiff \| tree
next

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

RSS Atom