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

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

projects / thirdparty / gcc.git / search

2019-08-21	pmderodat	[Ada] Update references to the SPARK RM	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] More complete information level for -gnatR4 output	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Add the System.Bitfield_Utils runtime unit	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Bindo.Graphs: Minor typo fixes	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Undefined master in task with limited class-wide...	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Fix type mismatch in extended return statement...	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Do not rewrite argument of pragma Entry_Queue_Length...	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Avoid spurious error in GNATprove mode on non...	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Ignore subprogram address in ownership checking	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Fix assertion failure on derived private protected...	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Replace low-level membership tests with high...	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Missing attribute update in new_copy_tree	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] doc/Makefile: automatically create doc/share...	commit \| commitdiff \| tree
2019-08-21	pmderodat	[Ada] Max_Entry_Queue_Length aspect for protected entries	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Unnesting: take inlining (-gnatn) into account	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Crash on a Storage_Size aspect depending on attr...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Inconsistent scope chain due to quantified expression	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Adapt GNATprove expansion for slices with access...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Improve efficiency of aggregates with <>	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Improve speed of discriminated return types	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Minor reformattings	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Set GNAT.OS_Lib.GM_Split's granularity back to...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Fix propagation of compiler internal flag	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Crash on Loop_Entry for while_loop involving...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Spurious error in dispatching call with class...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Suppress Initialize_Scalars for Persistent_BSS	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Illegal limited function call accepted in a type...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] New pragma Aggregate_Individually_Assign	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Enable delta_aggregate only in Ada 2020 mode	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Improve generated code for initialization of...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] More complete information level for -gnatR4 output	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Fix a folding issue with System'To_Address	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Warn on Unchecked_Conversion to zero-sized array	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Efficiency improvement in bounded ordered containers	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Warning for out-of-order record representation...	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Object_Size clause specifying 0 bits is illegal	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Pragma Warning_As_Error works for style warnings	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Get rid of linear searches in Lib	commit \| commitdiff \| tree
2019-08-20	pmderodat	[Ada] Sem_Ch13: fix uninitialized parameter static...	commit \| commitdiff \| tree
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
next

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

RSS Atom