Public Git Hosting - official-gcc.git/search

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
2019-09-18	Ed Schonberg	[Ada] Use static discriminant value for discriminated...	commit \| commitdiff \| tree
2019-09-18	Ed Schonberg	[Ada] Crash on aggregate with dscriminant in if-expression...	commit \| commitdiff \| tree
2019-09-18	Justin Squirek	[Ada] Spurious ineffective use_clause warning	commit \| commitdiff \| tree
2019-09-18	Justin Squirek	[Ada] Missing accessibility check on discrim assignment	commit \| commitdiff \| tree
2019-09-18	Eric Botcazou	[Ada] Fix sharing of expression in array aggregate...	commit \| commitdiff \| tree
2019-09-18	Justin Squirek	[Ada] Spurious run time error on anonymous access formals	commit \| commitdiff \| tree
2019-09-18	Steve Baird	[Ada] Implement AI12-0086's rules for discriminants...	commit \| commitdiff \| tree
2019-09-18	Javier Miranda	[Ada] Fix portability issues in access to subprograms	commit \| commitdiff \| tree
2019-09-18	Bob Duff	[Ada] Improve efficiency of copying bit-packed slices	commit \| commitdiff \| tree
2019-09-18	Vasiliy Fofanov	[Ada] Fix minor formatting issue	commit \| commitdiff \| tree
2019-09-18	Javier Miranda	[Ada] Code cleanup of alignment representation clauses...	commit \| commitdiff \| tree
2019-09-18	Steve Baird	[Ada] Don't fail a front-end assertion if errors have...	commit \| commitdiff \| tree
2019-09-18	Piotr Trojanek	[Ada] Refine type of Get_Homonym_Number result	commit \| commitdiff \| tree
2019-09-18	Yannick Moy	[Ada] Skip entity name qualification in GNATprove mode	commit \| commitdiff \| tree
2019-09-18	Nicolas Roche	[Ada] Ensure that Scan_Real result does not depend...	commit \| commitdiff \| tree
2019-09-18	Claire Dross	[Ada] Factor out code for deciding statically known...	commit \| commitdiff \| tree
2019-09-18	Vadim Godunko	[Ada] Raise exception on call to Expect for a dead...	commit \| commitdiff \| tree
2019-09-18	Frederic Konrad	[Ada] Fix errno for rename for the VxWorks 6 target	commit \| commitdiff \| tree
2019-09-18	Steve Baird	[Ada] No Storage_Error for an oversized disabled ghost...	commit \| commitdiff \| tree
2019-09-18	Tom Tromey	[Ada] Fix typo in error message	commit \| commitdiff \| tree
2019-09-18	Olivier Hainque	[Ada] Fix 32/64bit mistake on SYSTEM_INFO component...	commit \| commitdiff \| tree
2019-09-18	Arnaud Charlet	[Ada] Improve doc on Warning_As_Error	commit \| commitdiff \| tree
2019-09-18	Arnaud Charlet	[Ada] Remove remaining references to VMS support	commit \| commitdiff \| tree
2019-09-18	Arnaud Charlet	[Ada] System.Stack_Usage: fix a typo	commit \| commitdiff \| tree
2019-09-18	Bob Duff	[Ada] Avoid uninitialized variable in bounded containers	commit \| commitdiff \| tree
2019-09-18	Claire Dross	[Ada] Fix style issues in functional maps	commit \| commitdiff \| tree
2019-09-18	Arnaud Charlet	[Ada] Refine previous change for -gnatn and LLVM	commit \| commitdiff \| tree
2019-09-17	Claire Dross	[Ada] Add Remove primitive on functional maps	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Fix rounding of fixed-point arithmetic operation	commit \| commitdiff \| tree
2019-09-17	Javier Miranda	[Ada] Missing propagation of Has_Predicates in cloned...	commit \| commitdiff \| tree
2019-09-17	Eric Botcazou	[Ada] Fix ineffective -gnatyN for separate compilation...	commit \| commitdiff \| tree
2019-09-17	Tom Tromey	[Ada] Update the character type comment in exp_dbug.ads	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Minor fixes mostly in comments of runtime arithmetic...	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Raise Constraint_Error in overflow case involving...	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Fix possible suppressed overflows in arithmetic...	commit \| commitdiff \| tree
2019-09-17	Dmitriy Anisimkov	[Ada] Force even timestamp in Windows ALI files	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] GNATprove: avoid crash on illegal borrow during...	commit \| commitdiff \| tree
2019-09-17	Bob Duff	[Ada] Clarify documentation for Stack_Usage	commit \| commitdiff \| tree
2019-09-17	Steve Baird	[Ada] Don't accept illegal (e.g., Integer'(null)) generic...	commit \| commitdiff \| tree
2019-09-17	Claire Dross	[Ada] Support chained calls to traversal functions...	commit \| commitdiff \| tree
2019-09-17	Ed Falis	[Ada] Remove section on pragma No_Run_Time	commit \| commitdiff \| tree
2019-09-17	Vadim Godunko	[Ada] Close file descriptors allocated for tty only...	commit \| commitdiff \| tree
2019-09-17	Vadim Godunko	[Ada] GNAT.Expect (Expect_Internal): Try to call 'poll...	commit \| commitdiff \| tree
2019-09-17	Vadim Godunko	[Ada] Avoid to close irrelevant file descriptors	commit \| commitdiff \| tree
2019-09-17	Piotr Trojanek	[Ada] A new utility routine for detecting attribute...	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Do not inline dispatching operations in GNATprove...	commit \| commitdiff \| tree
2019-09-17	Ed Schonberg	[Ada] In a generic use Presanalyze_Spec_Expression...	commit \| commitdiff \| tree
2019-09-17	Javier Miranda	[Ada] Missing tagged type decoration in corresponding...	commit \| commitdiff \| tree
2019-09-17	Javier Miranda	[Ada] Ada 2020: Raise expressions in limited contexts...	commit \| commitdiff \| tree
2019-09-17	Piotr Trojanek	[Ada] Ignore missing ALI files in GNATprove mode	commit \| commitdiff \| tree
2019-09-17	Arnaud Charlet	[Ada] PR ada/91268 Do not redefine macros	commit \| commitdiff \| tree
2019-09-17	Arnaud Charlet	[Ada] Refine change for bit-packed slices	commit \| commitdiff \| tree
2019-09-17	Javier Miranda	[Ada] Adding assertions on extra formals for BIP function...	commit \| commitdiff \| tree
2019-09-17	Bob Duff	[Ada] Avoid touching potentially nonexistent memory	commit \| commitdiff \| tree
2019-09-17	Dmitriy Anisimkov	[Ada] Support for local unix sockets in GNAT.Sockets API	commit \| commitdiff \| tree
2019-09-17	Eric Botcazou	[Ada] Fix wrong value of 'Size for slices of bit-packed...	commit \| commitdiff \| tree
2019-09-17	Bob Duff	[Ada] Refine conditions for calling Copy_Bitfield	commit \| commitdiff \| tree
2019-08-21	Vadim Godunko	[Ada] Improve detection of end of the process by GNAT...	commit \| commitdiff \| tree
2019-08-21	Piotr Trojanek	[Ada] Minor refactorings/reformattings	commit \| commitdiff \| tree
2019-08-21	Claire Dross	[Ada] Allow for of iteration on formal vectors	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] More precise propagation of Size attribute in...	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] Update references to the SPARK RM	commit \| commitdiff \| tree
2019-08-21	Eric Botcazou	[Ada] More complete information level for -gnatR4 output	commit \| commitdiff \| tree
2019-08-21	Bob Duff	[Ada] Add the System.Bitfield_Utils runtime unit	commit \| commitdiff \| tree
2019-08-21	Piotr Trojanek	[Ada] Bindo.Graphs: Minor typo fixes	commit \| commitdiff \| tree
2019-08-21	Gary Dismukes	[Ada] Undefined master in task with limited class-wide...	commit \| commitdiff \| tree
2019-08-21	Eric Botcazou	[Ada] Fix type mismatch in extended return statement...	commit \| commitdiff \| tree
2019-08-21	Piotr Trojanek	[Ada] Do not rewrite argument of pragma Entry_Queue_Length...	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] Avoid spurious error in GNATprove mode on non...	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] Ignore subprogram address in ownership checking	commit \| commitdiff \| tree
2019-08-21	Eric Botcazou	[Ada] Fix assertion failure on derived private protected...	commit \| commitdiff \| tree
2019-08-21	Piotr Trojanek	[Ada] Replace low-level membership tests with high...	commit \| commitdiff \| tree
2019-08-21	Javier Miranda	[Ada] Missing attribute update in new_copy_tree	commit \| commitdiff \| tree
2019-08-21	Joel Brobecker	[Ada] doc/Makefile: automatically create doc/share...	commit \| commitdiff \| tree
next

Mirror of the offical gcc git repository hosted at gcc.gnu.org

RSS Atom