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

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

projects / thirdparty / gcc.git / search

2023-05-25	Bob Duff	ada: Switch from E_Void to Is_Not_Self_Hidden	commit \| commitdiff \| tree
2023-05-25	Eric Botcazou	ada: Decouple size of addresses and pointers from size...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix copying of quantified expressions	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Deconstruct a no longer used parameter of New_Copy_Tree	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Clean up copying of node trees	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Simplify copying of node lists	commit \| commitdiff \| tree
2023-05-25	Steve Baird	ada: Avoid duplicated streaming subprograms	commit \| commitdiff \| tree
2023-05-25	Marc Poulhiès	ada: Fix crash during function return analysis	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Remove unused initial value of a local variable	commit \| commitdiff \| tree
2023-05-25	Marc Poulhiès	ada: Fix (again) incorrect handling of Aggregate aspect	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Prevent search of calls in preconditions from...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix comments for recently added SPARK aspects	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Add missing supportive code for recently added...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Tune handling of attributes Old in contract Exceptional...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Remove redundant guards from calls to Move_Aspects	commit \| commitdiff \| tree
2023-05-25	Eric Botcazou	ada: Small tweak to implementation of by-copy semantics...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix copy-paste mistake in analysis of Exceptional_Cases	commit \| commitdiff \| tree
2023-05-25	Ronan Desplanques	ada: Enrich documentation of subprogram	commit \| commitdiff \| tree
2023-05-25	Ronan Desplanques	ada: Maximize use of existing constant	commit \| commitdiff \| tree
2023-05-25	Ronan Desplanques	ada: Reduce span of variable	commit \| commitdiff \| tree
2023-05-25	Bob Duff	ada: Set Is_Not_Self_Hidden flag in more cases	commit \| commitdiff \| tree
2023-05-25	Ronan Desplanques	ada: Handle controlling access parameters in DTWs	commit \| commitdiff \| tree
2023-05-25	Bob Duff	ada: Add Entry_Cancel_Parameter to E_Label	commit \| commitdiff \| tree
2023-05-25	Eric Botcazou	ada: Minor fixes in description of scope depth	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Tune warning about assignment just before a raise...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Accept aliased parameters in Exceptional_Cases	commit \| commitdiff \| tree
2023-05-25	Marc Poulhiès	ada: Fix incorrect handling of Aggregate aspect	commit \| commitdiff \| tree
2023-05-25	Bob Duff	ada: Fix obsolete comment in Sinfo.Utils	commit \| commitdiff \| tree
2023-05-25	Marc Poulhiès	ada: Fix SPARK context not restored when Load_Unit...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Restrict use of formal parameters within exceptional...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Accept and analyze new aspect Exceptional_Cases	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Rework fix for internal error on quantified expression...	commit \| commitdiff \| tree
2023-05-23	Gary Dismukes	ada: ICE on BIP call in class-wide function return...	commit \| commitdiff \| tree
2023-05-23	Patrick Bernardi	ada: Remove redundant parentheses from System.Stack_Checking...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Add tags to warnings controlled by Warn_On_Redundant_Co...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Cleanup inconsistent iteration over exception...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix latent issue in support for protected entries	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix address manipulation issue in the tasking...	commit \| commitdiff \| tree
2023-05-23	Raphael Amiard	ada: Make string interpolation part of the core extensions	commit \| commitdiff \| tree
2023-05-23	Claire Dross	ada: Update ghost code for proof of integer input functions	commit \| commitdiff \| tree
2023-05-23	Arnaud Charlet	ada: Add new switch -gnatyz	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix minor address arithmetic issues in System...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix oversight in latest change	commit \| commitdiff \| tree
2023-05-23	Raphael Amiard	ada: Reorganize documentation of GNAT experimental...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix resolution of mod operator of System.Storage_Elements	commit \| commitdiff \| tree
2023-05-23	Vadim Godunko	ada: Remove unnecessary call to Detach.	commit \| commitdiff \| tree
2023-05-23	Ronan Desplanques	ada: Fix reference to Ada issue in comment	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix address arithmetic issues in the expanded...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix address arithmetic issues in the runtime	commit \| commitdiff \| tree
2023-05-23	Steve Baird	ada: A discriminant of a variable is not a variable	commit \| commitdiff \| tree
2023-05-23	Yannick Moy	ada: Add default value at initialization for CodePeer	commit \| commitdiff \| tree
2023-05-23	Yannick Moy	ada: Facilitate proof of Interfaces.C.To_Ada	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Remove the body of System.Storage_Elements	commit \| commitdiff \| tree
2023-05-23	Javier Miranda	ada: Spurious errors on class-wide preconditions of...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Turn assertions into defensive code in error locations	commit \| commitdiff \| tree
2023-05-23	Ronan Desplanques	ada: Add mention of what LSP stands for	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Fix endings of pretty-printed numeric literals	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix internal error on quantified expression with...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix bogus error on predicated limited record declared...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Sync different variants of interrupt handler registration	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Revert to old pretty-printing of internal entities...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Ignore accessibility actuals in expression pretty...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Remove special-case for parentheses in expansion...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Transfer fix for pretty-printed parentheses from...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Fix expression pretty-printer for SPARK counterexamples	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Suppress warning about Subprogram_Variant failing...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Small code cleanup	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Minor fix typo in comment	commit \| commitdiff \| tree
2023-05-23	Ronan Desplanques	ada: Remove duplicate comment	commit \| commitdiff \| tree
2023-05-23	Javier Miranda	ada: Crash on dispatching primitive referencing limited...	commit \| commitdiff \| tree
2023-05-22	Ronan Desplanques	ada: Reuse idiomatic procedure in CStand	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Avoid repeated calls when looking for first/last...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Small cleanup in support for protected subprograms	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Use idiomatic construct in Expand_N_Package_Body	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix source location for crashes in expanded Loop_Entry...	commit \| commitdiff \| tree
2023-05-22	Ronan Desplanques	ada: Add missing word in comment	commit \| commitdiff \| tree
2023-05-22	Justin Squirek	ada: Incorrect constant folding in postcondition involving...	commit \| commitdiff \| tree
2023-05-22	Marc Poulhiès	ada: Fix crash caused by incorrect expansion of iterated...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix missing finalization in separate package body	commit \| commitdiff \| tree
2023-05-22	Ronan Desplanques	ada: Remove outdated part of comment	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix missing finalization in library-unit instance...	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix spurious freezing error on nonabstract null...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Further fixes to GNATprove and CodePeer expression...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Cleanup redundant condition in resolution of entity...	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: Add Is_Past_Self_Hiding_Point flag	commit \| commitdiff \| tree
2023-05-22	Steve Baird	ada: Accept Assert pragmas in expression functions	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Add warning on frontend inlining of Subprogram_Variant	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix spurious warning on Inline_Always and contracts	commit \| commitdiff \| tree
2023-05-22	Arnaud Charlet	ada: Improve -gnatyx style check	commit \| commitdiff \| tree
2023-05-22	Arnaud Charlet	ada: Remove extra parentheses	commit \| commitdiff \| tree
2023-05-22	Arnaud Charlet	ada: Remove a remaining reference to ?	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-22	Claire Dross	ada: Support calls through dereferences in Find_Actual	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Remove unreferenced utility routine Is_Actual_Tagged_Pa...	commit \| commitdiff \| tree
2023-05-22	Joffrey Huguet	ada: Add contracts to Ada.Strings.Unbounded library	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix crash on Ada.Containers with No_Dispatching_Calls...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Implement conversions from Big_Integer to large...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix error and crash on imported function with...	commit \| commitdiff \| tree
2023-05-22	Steve Baird	ada: Reject illegal declarations in expression functions	commit \| commitdiff \| tree
next

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

RSS Atom