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

2019-12-13	Ed Schonberg	[Ada] Crash on inherited private operation in child...	commit \| commitdiff \| tree
2019-12-13	Yannick Moy	[Ada] Avoid spurious errors on Global/Depends in instantiations	commit \| commitdiff \| tree
2019-12-13	Yannick Moy	[Ada] Prevent inlining inside condition of while loop...	commit \| commitdiff \| tree
2019-12-13	Bob Duff	[Ada] Ada2020: Update Impunit for Ada 202X	commit \| commitdiff \| tree
2019-12-13	Bob Duff	[Ada] Rtsfind: minor comment fixes	commit \| commitdiff \| tree
2019-12-13	Gary Dismukes	[Ada] Up-level addressing problems with private tasks...	commit \| commitdiff \| tree
2019-12-13	Arnaud Charlet	[Ada] Add Ada.Containers.Vectors.Generic_Parallel_Sorting...	commit \| commitdiff \| tree
2019-12-13	Justin Squirek	[Ada] Missing accessibility checks on conditionals	commit \| commitdiff \| tree
2019-12-13	Steve Baird	[Ada] Implement AI12-0101	commit \| commitdiff \| tree
2019-12-13	Justin Squirek	[Ada] Spurious error on overriding controlled primitive	commit \| commitdiff \| tree
2019-12-13	Ed Schonberg	[Ada] New flag to indicate whether aspect appears on...	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Spurious warning about change of representastion...	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Spurious error on universal access equality operator	commit \| commitdiff \| tree
2019-12-12	Steve Baird	[Ada] Tighten up semantic checking for protected subprogram...	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Missing dereference in bound of slice in element...	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Improve error message for dispatching subprogram...	commit \| commitdiff \| tree
2019-12-12	Gary Dismukes	[Ada] Fix related to handling up-level references in...	commit \| commitdiff \| tree
2019-12-12	Steve Baird	[Ada] Improved handling of circular compilation dependencies	commit \| commitdiff \| tree
2019-12-12	Gary Dismukes	[Ada] Fix various typos, plus minor reformatting	commit \| commitdiff \| tree
2019-12-12	Justin Squirek	[Ada] Broken privacy on Controlled type extensions	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Fix processing of standard predefined operators	commit \| commitdiff \| tree
2019-12-12	Piotr Trojanek	[Ada] Fix Global contract for the predefined Yield...	commit \| commitdiff \| tree
2019-12-12	Piotr Trojanek	[Ada] Fix repeated words and typos in doc and comments	commit \| commitdiff \| tree
2019-12-12	Eric Botcazou	[Ada] Fix wrong value of 'Size for slices of bit-packed...	commit \| commitdiff \| tree
2019-12-12	Steve Baird	[Ada] Implement AI12-0036 (a new legality check for...	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Spurious visibility error on subunit with optimization	commit \| commitdiff \| tree
2019-12-12	Arnaud Charlet	[Ada] Define __gnat_personality_v0 for SEH	commit \| commitdiff \| tree
2019-12-12	Gary Dismukes	[Ada] Handling up-level references in protected entries...	commit \| commitdiff \| tree
2019-12-12	Justin Squirek	[Ada] Missing error on incorrect use of Result attribute	commit \| commitdiff \| tree
2019-12-12	Bob Duff	[Ada] Crash on Descriptor_Size attribute	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Missing length check on private type with unknown...	commit \| commitdiff \| tree
2019-12-12	Bob Duff	[Ada] Compiler crash on prefix call in generic body	commit \| commitdiff \| tree
2019-12-12	Claire Dross	[Ada] Use correct subtype for call to Last in formal...	commit \| commitdiff \| tree
2019-12-12	Gary Dismukes	[Ada] Fix a number of typos, plus minor reformatting	commit \| commitdiff \| tree
2019-12-12	Bob Duff	[Ada] Update gnatmetric documentation for average lengths	commit \| commitdiff \| tree
2019-12-12	Ed Schonberg	[Ada] Constraint is ignored on constrained access record...	commit \| commitdiff \| tree
2019-12-12	Justin Squirek	[Ada] Crash on use of Loop_Entry, Result, and Old as...	commit \| commitdiff \| tree
2019-12-12	Arnaud Charlet	[Ada] Remove references to VMS	commit \| commitdiff \| tree
2019-12-12	Eric Botcazou	[Ada] Mark Ada subprograms and variables referenced...	commit \| commitdiff \| tree
2019-12-12	Dmitriy Anisimkov	[Ada] Improve end of command line arguments detection	commit \| commitdiff \| tree
2019-12-12	Pierre-Marie de...	[Ada] Remove implicit anonymous access conversion in...	commit \| commitdiff \| tree
2019-10-11	Pierre-Marie de...	[Ada] Repair ChangeLog entries	commit \| commitdiff \| tree
2019-10-10	Gary Dismukes	[Ada] Handling up-level references in loops within...	commit \| commitdiff \| tree
2019-10-10	Arnaud Charlet	[Ada] Ensure constructor is a C++ constructor	commit \| commitdiff \| tree
2019-10-10	Gary Dismukes	[Ada] Add pragma Preelaborable_Initialization to Stream_IO...	commit \| commitdiff \| tree
2019-10-10	Yannick Moy	[Ada] Fix inlining of subprograms with deep param/result...	commit \| commitdiff \| tree
2019-10-10	Gary Dismukes	[Ada] Various minor typo fixes	commit \| commitdiff \| tree
2019-10-10	Ed Schonberg	[Ada] Spurious warning on call with out parameter in...	commit \| commitdiff \| tree
2019-10-10	Gary Dismukes	[Ada] Unnesting issues with entry families and accept...	commit \| commitdiff \| tree
2019-10-10	Ed Schonberg	[Ada] Spurious visibility error on formal package with...	commit \| commitdiff \| tree
2019-10-10	Eric Botcazou	[Ada] Fix awkward placement of freeze node for actual...	commit \| commitdiff \| tree
2019-10-10	Eric Botcazou	[Ada] Get rid of spurious error for _Tag on extension...	commit \| commitdiff \| tree
2019-10-10	Bob Duff	[Ada] Debug procedure for printing ancestors	commit \| commitdiff \| tree
2019-10-10	Bob Duff	[Ada] 'others' in conditional_expressions	commit \| commitdiff \| tree
2019-10-10	Ed Schonberg	[Ada] Missing Predicated_Parent link on array Itype	commit \| commitdiff \| tree
2019-10-10	Eric Botcazou	[Ada] Plug minor loophole for integer named number	commit \| commitdiff \| tree
2019-10-10	Yannick Moy	[Ada] Do not inline subprograms with deep parameter...	commit \| commitdiff \| tree
2019-10-10	Vadim Godunko	[Ada] Define default value for Process field	commit \| commitdiff \| tree
2019-10-10	Bob Duff	[Ada] T'Size in pragma Compile_Time_Error	commit \| commitdiff \| tree
2019-10-10	Bob Duff	[Ada] Assertion_Policy (Ignore) ignores invariants	commit \| commitdiff \| tree
2019-10-10	Arnaud Charlet	[Ada] Fix handling of -gnatceg on incomplete unit	commit \| commitdiff \| tree
2019-10-10	Gary Dismukes	[Ada] Generation of procedures for blocks occurring...	commit \| commitdiff \| tree
2019-10-10	Anthony Leonardo...	[Ada] Mention GNAT Studio instead of GPS	commit \| commitdiff \| tree
2019-10-10	Ed Schonberg	[Ada] Spurious restriction violation on Ghost code	commit \| commitdiff \| tree
2019-10-10	Bob Duff	[Ada] Replace in Ordered_Maps gets tampering failure	commit \| commitdiff \| tree
2019-10-10	Ed Schonberg	[Ada] Spurious visibility error in predicate in generic...	commit \| commitdiff \| tree
2019-10-10	Patrick Bernardi	[Ada] Flag Sec_Stack_Used incorrectly set by ghost...	commit \| commitdiff \| tree
2019-10-10	Piotr Trojanek	[Ada] Use declared type for deciding on SPARK pointer...	commit \| commitdiff \| tree
2019-09-19	Tom Tromey	[Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdb	commit \| commitdiff \| tree
2019-09-19	Steve Baird	[Ada] Accept concatentation arguments to pragma Annotate	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Get rid of useless temporary for slice in overaligned...	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Sem_Ch12: add a comment to indicate future work	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Fix copy operation with private discriminated...	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Fix bogus "too late" error with nested generics...	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Fix bogus visibility error with nested generics...	commit \| commitdiff \| tree
2019-09-19	Dmitriy Anisimkov	[Ada] New routine GNAT.Sockets.Create_Socket_Pair	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Use declared type for deciding on SPARK pointer...	commit \| commitdiff \| tree
2019-09-19	Ed Schonberg	[Ada] Spurious visibility error in generic child unit	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Disable inlining of traversal function in GNATprove	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Allow constants of access type in Global contracts	commit \| commitdiff \| tree
2019-09-19	Arnaud Charlet	[Ada] Exp_Attr: remove obsolete comment	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Fix run-time segfault with derived access-to...	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Move SPARK borrow-checker to gnat2why codebase	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Implement Machine_Rounding attribute in line...	commit \| commitdiff \| tree
2019-09-19	Gary Dismukes	[Ada] Suppress GNAT FE up-level reference transformation...	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Streamline comparison for equality of 2-element...	commit \| commitdiff \| tree
2019-09-19	Piotr Trojanek	[Ada] Remove duplicated routines for getting homonym...	commit \| commitdiff \| tree
2019-09-19	Ed Schonberg	[Ada] Crash on predicate in full view in a generic...	commit \| commitdiff \| tree
2019-09-19	Bob Duff	[Ada] Memory leak with 'Range of a function call in...	commit \| commitdiff \| tree
2019-09-19	Raphael Amiard	[Ada] Propagate documentation to formal bounded sets	commit \| commitdiff \| tree
2019-09-19	Raphael Amiard	[Ada] Add comments wrt. deallocation of bounded sets...	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Fix spurious type mismatch failure on nested...	commit \| commitdiff \| tree
2019-09-19	Bob Duff	[Ada] Infinite loop with concatenation and aspect	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Fix fallout of previous change for bit-packed...	commit \| commitdiff \| tree
2019-09-19	Bob Duff	[Ada] gnatxref: infinite loop on symbols not found	commit \| commitdiff \| tree
2019-09-19	Eric Botcazou	[Ada] Improve handling of explicit by-reference mechanism	commit \| commitdiff \| tree
2019-09-19	Bob Duff	[Ada] Rtsfind: improve comment on RTE_Available	commit \| commitdiff \| tree
2019-09-18	Bob Duff	[Ada] Avoid gnatbind regression caused by Copy_Bitfield	commit \| commitdiff \| tree
2019-09-18	Eric Botcazou	[Ada] Fix spurious alignment warning on simple address...	commit \| commitdiff \| tree
2019-09-18	Ed Schonberg	[Ada] Crash on universal case expression in fixed-point...	commit \| commitdiff \| tree
next

RSS Atom