git.libre-soc.org Git - gcc.git/search

2018-06-11	Eric Botcazou	[Ada] Fix wrong code for initialization of fat pointer...	commit \| commitdiff \| tree
2018-06-11	Hristian Kirtchev	[Ada] Suppress the expansion of ignored assertion pragmas	commit \| commitdiff \| tree
2018-06-11	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-06-11	Gary Dismukes	[Ada] Typo fixes and minor reformatting	commit \| commitdiff \| tree
2018-06-11	Hristian Kirtchev	[Ada] Double finalization of limited controlled result	commit \| commitdiff \| tree
2018-06-11	Olivier Hainque	[Ada] Improve last exception info availability from...	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: refactor handling of uplevel refs...	commit \| commitdiff \| tree
2018-06-11	Bob Duff	[Ada] Dangling cursor checks in Element function	commit \| commitdiff \| tree
2018-06-11	Yannick Moy	[Ada] Mark parameters as coming from source for GNATprove	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Missing predicate function body for derived type...	commit \| commitdiff \| tree
2018-06-11	Yannick Moy	[Ada] Reject violation of SPARK 6.1.4(12) with enclosing...	commit \| commitdiff \| tree
2018-06-11	Eric Botcazou	[Ada] Minor tweaks for Repinfo	commit \| commitdiff \| tree
2018-06-11	Hristian Kirtchev	[Ada] Make GNAT.Array_Split a preelaborable unit	commit \| commitdiff \| tree
2018-06-11	Arnaud Charlet	[Ada] Simplify expansion of "and then" in CodePeer...	commit \| commitdiff \| tree
2018-06-11	Javier Miranda	[Ada] Crash on protected type entry family	commit \| commitdiff \| tree
2018-06-11	Arnaud Charlet	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-06-11	Yannick Moy	[Ada] Add Suppressible argument to Assertion_Policy...	commit \| commitdiff \| tree
2018-06-11	Yannick Moy	[Ada] Do not query the representation information in...	commit \| commitdiff \| tree
2018-06-11	Yannick Moy	[Ada] Mark extended return of unconstrained type as...	commit \| commitdiff \| tree
2018-06-11	Yannick Moy	[Ada] Do not force Part_Of on generic units	commit \| commitdiff \| tree
2018-06-11	Piotr Trojanek	[Ada] Don't split AND THEN expressions in GNATprove_Mode	commit \| commitdiff \| tree
2018-06-11	Piotr Trojanek	[Ada] Fix handling of Pre/Post contracts with AND THEN...	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: robustify analysis of block statements	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: fix handling of generic associations	commit \| commitdiff \| tree
2018-06-11	Arnaud Charlet	[Ada] Memtrack: have only one definition of fwrite	commit \| commitdiff \| tree
2018-06-11	Javier Miranda	[Ada] Wrong code in array aggregates of Ada coextensions	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: fix handling of stubs	commit \| commitdiff \| tree
2018-06-11	Arnaud Charlet	[Ada] Refactor compilation of Ada units in Makefile.rtl	commit \| commitdiff \| tree
2018-06-11	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Crash with Inline_Always on a function with an...	commit \| commitdiff \| tree
2018-06-11	Arnaud Charlet	[Ada] Bindgen: protect reference to System.Parameters...	commit \| commitdiff \| tree
2018-06-11	Hristian Kirtchev	[Ada] Performance degradation with references	commit \| commitdiff \| tree
2018-06-11	Valentine Reboul	[Ada] Rename "GPL Edition" into "Community Edition"	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Crash on instantiation of nested generic in private...	commit \| commitdiff \| tree
2018-06-11	Eric Botcazou	[Ada] Remove obsolete code in Errout	commit \| commitdiff \| tree
2018-06-11	Nicolas Roche	[Ada] Avoid a stack overflow in 'Value for invalid...	commit \| commitdiff \| tree
2018-06-11	Eric Botcazou	[Ada] Minor tweaks in Repinfo	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: improve handling of bounds for formal...	commit \| commitdiff \| tree
2018-05-31	Pierre-Marie de...	[Ada] Remove obsolete figure in documentation 2018-05-31 Pierre-Marie de Rodat <derodat@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Pierre-Marie de...	[Ada] Add missing spec files for VxWorks runtimes 2018-05-31 Pierre-Marie de Rodat <derodat@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Pierre-Marie de...	[Ada] Minor copyright header adjustments 2018-05-31 Pierre-Marie de Rodat <derodat@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Fedor Rybin	[Ada] Document Stubs_Subdir in gnattest section on...	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Static predicate check on characters of a string...	commit \| commitdiff \| tree
2018-05-31	Eric Botcazou	[Ada] Remove obsolete code in trans.c	commit \| commitdiff \| tree
2018-05-31	Piotr Trojanek	[Ada] Detect returning procedures annotated with No_Return	commit \| commitdiff \| tree
2018-05-31	Eric Botcazou	[Ada] Fix wrong value returned for unconstrained packed...	commit \| commitdiff \| tree
2018-05-31	Frederic Konrad	[Ada] Fix __gnat_backtrace for VxWorks7 on x86	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Illegal copy of limited object	commit \| commitdiff \| tree
2018-05-31	Olivier Hainque	[Ada] Update comment on __atomic_compare_exchange in...	commit \| commitdiff \| tree
2018-05-31	Eric Botcazou	[Ada] Fix internal error on allocator with function...	commit \| commitdiff \| tree
2018-05-31	Hristian Kirtchev	[Ada] Spurious tampering check failure	commit \| commitdiff \| tree
2018-05-31	Valentine Reboul	[Ada] Rename "GPL" version to "Community"	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Minor comment improvement	commit \| commitdiff \| tree
2018-05-31	Piotr Trojanek	[Ada] Simplify call to Unique_Defining_Entity on protected...	commit \| commitdiff \| tree
2018-05-31	Piotr Trojanek	[Ada] Set Etype on rewriteen Max_Queue_Length expressions	commit \| commitdiff \| tree
2018-05-31	Sergey Rybin	[Ada] Update gnatelim documentation wrt. compilation...	commit \| commitdiff \| tree
2018-05-31	Eric Botcazou	[Ada] Fix tracking of the first item in Repinfo	commit \| commitdiff \| tree
2018-05-31	Eric Botcazou	[Ada] Fix strange behavior of Object_Size for packed...	commit \| commitdiff \| tree
2018-05-31	Eric Botcazou	[Ada] Post warning on object size clause for subtype	commit \| commitdiff \| tree
2018-05-31	Javier Miranda	[Ada] Fix compiler crash for tagged private types	commit \| commitdiff \| tree
2018-05-31	Yannick Moy	[Ada] Fix check on placement of multiple loop (in)variant...	commit \| commitdiff \| tree
2018-05-31	Doug Rupp	[Ada] Posix 2008: reimplement System.OS_Primitives...	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Unnesting: add a predicate to help expansion...	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Convert operands of generated code to Standard...	commit \| commitdiff \| tree
2018-05-30	Piotr Trojanek	[Ada] Update documentation of Sinfo.Package_Instantiation...	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: always transform local Raise statements	commit \| commitdiff \| tree
2018-05-30	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: handle the semantic of Procedure_To_Call...	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: skip unanalyzed Component_Assocation	commit \| commitdiff \| tree
2018-05-30	Justin Squirek	[Ada] Implement pragma Max_Entry_Queue_Depth	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Extend the applicability of Thread_Local_Storage...	commit \| commitdiff \| tree
2018-05-30	Yannick Moy	[Ada] Correctly ignore Assertion_Policy in modes CodePeer...	commit \| commitdiff \| tree
2018-05-30	Justin Squirek	[Ada] ACATS 4.1G - CXAG003 - Name_Case_Equivalence...	commit \| commitdiff \| tree
2018-05-30	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-05-30	Pascal Obry	[Ada] Add support for Define_Switch with a callback...	commit \| commitdiff \| tree
2018-05-30	Gary Dismukes	[Ada] Fix several typos	commit \| commitdiff \| tree
2018-05-30	Olivier Hainque	[Ada] Craft .ctors/.dtors sections manually for VxWorks...	commit \| commitdiff \| tree
2018-05-30	Bob Duff	[Ada] Spell preanalysis, preanalyze correctly	commit \| commitdiff \| tree
2018-05-30	Bob Duff	[Ada] Minor comment rework in GNAT.Secondary_Stack_Info	commit \| commitdiff \| tree
2018-05-30	Piotr Trojanek	[Ada] Reuse Is_Rewrite_Substitution where possible	commit \| commitdiff \| tree
2018-05-30	Piotr Trojanek	[Ada] Simplify conditions by removing always true conjuncts	commit \| commitdiff \| tree
2018-05-30	Hristian Kirtchev	[Ada] Spurious error on legal synchronized constituent	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Refine logic to set Needs_Activation_Record on...	commit \| commitdiff \| tree
2018-05-30	Eric Botcazou	[Ada] Minor comment addition	commit \| commitdiff \| tree
2018-05-30	Bob Duff	[Ada] Secondary stack leak in "for X of ..." loops	commit \| commitdiff \| tree
2018-05-30	Arnaud Charlet	[Ada] Ignore out of range values for System.Priority...	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: look for specification of main unit	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: properly handle local subprogram in...	commit \| commitdiff \| tree
2018-05-30	Bob Duff	[Ada] Minor comment fix	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: properly handle subprogram instantiations	commit \| commitdiff \| tree
2018-05-30	Hristian Kirtchev	[Ada] Secondary stack implementation clean up	commit \| commitdiff \| tree
2018-05-30	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-05-30	Arnaud Charlet	[Ada] Move special flags for Ada runtime files from...	commit \| commitdiff \| tree
2018-05-30	Arnaud Charlet	[Ada] Move target pair settings in Makefiles	commit \| commitdiff \| tree
2018-05-29	Eric Botcazou	[Ada] Adjust documentation of -gnatn switch	commit \| commitdiff \| tree
2018-05-29	Arnaud Charlet	[Ada] Fix typos in Makefile.in	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Attach reference to finalizers to tree	commit \| commitdiff \| tree
2018-05-29	Javier Miranda	[Ada] Wrong equality on untagged private type	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Unnesting: handle statement sequences that include...	commit \| commitdiff \| tree
2018-05-29	Eric Botcazou	[Ada] Plug small hole in -gnatR output	commit \| commitdiff \| tree
next

RSS Atom