Public Git Hosting - official-gcc.git/search

2023-06-27	Eric Botcazou	ada: Plug small loophole in the handling of private...	commit \| commitdiff \| tree
2023-06-27	Eric Botcazou	ada: Plug another loophole in the handling of private...	commit \| commitdiff \| tree
2023-06-27	Viljar Indus	ada: Update printing container aggregates for debugging	commit \| commitdiff \| tree
2023-06-27	Viljar Indus	ada: Fix expanding container aggregates	commit \| commitdiff \| tree
2023-06-20	Eric Botcazou	ada: Minor tweaks	commit \| commitdiff \| tree
2023-06-20	Yannick Moy	ada: Fix crash on inlining in GNATprove	commit \| commitdiff \| tree
2023-06-20	Eric Botcazou	ada: Further fixes to handling of private views in...	commit \| commitdiff \| tree
2023-06-20	Ronan Desplanques	ada: Remove outdated comment	commit \| commitdiff \| tree
2023-06-20	Eric Botcazou	ada: Fix couple of issues in documentation of overflow...	commit \| commitdiff \| tree
2023-06-20	Yannick Moy	ada: Do not issue warning on postcondition in some...	commit \| commitdiff \| tree
2023-06-20	Yannick Moy	ada: Add the ability to add error codes to error messages	commit \| commitdiff \| tree
2023-06-20	Piotr Trojanek	ada: Fix for attribute Range in Exceptional_Cases	commit \| commitdiff \| tree
2023-06-20	Jose Ruiz	ada: Document partition-wide Ada signal handlers	commit \| commitdiff \| tree
2023-06-20	Piotr Trojanek	ada: Fix for quantified expressions in Exceptional_Cases	commit \| commitdiff \| tree
2023-06-20	Bob Duff	ada: Fix bug in predicate checks with address clauses	commit \| commitdiff \| tree
2023-06-20	Eric Botcazou	ada: Fix fallout of fix to handling of private views...	commit \| commitdiff \| tree
2023-06-20	Daniel King	ada: Add CHERI intrinsic bindings and helper functions.	commit \| commitdiff \| tree
2023-06-20	Eric Botcazou	ada: Small fixes to handling of private views in instances	commit \| commitdiff \| tree
2023-06-20	Eric Botcazou	ada: Fix internal error on aggregate within container...	commit \| commitdiff \| tree
2023-06-20	Ghjuvan Lacambre	ada: Fix -fdiagnostics-format=json not printing all...	commit \| commitdiff \| tree
2023-06-20	Eric Botcazou	ada: Introduce -gnateH switch to force reverse Bit_Order...	commit \| commitdiff \| tree
2023-06-20	Yannick Moy	ada: Update annotations in runtime for proof	commit \| commitdiff \| tree
2023-06-20	Marc Poulhiès	ada: Fix type derivation of subtype of derived type	commit \| commitdiff \| tree
2023-06-20	Ghjuvan Lacambre	ada: Pass Error_Node to calls to Error_Msg in lib-load.adb	commit \| commitdiff \| tree
2023-06-20	Claire Dross	ada: Remove references to Might_Not_Return and Always_Return	commit \| commitdiff \| tree
2023-06-20	Javier Miranda	ada: Spurious error on package instantiation	commit \| commitdiff \| tree
2023-06-20	Ronan Desplanques	ada: Fix edge case in Ada.Calendar.Formatting.Time_Of	commit \| commitdiff \| tree
2023-06-15	Marc Poulhiès	ada: Remove unused files	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix wrong code for ACATS cd1c03i on Morello target	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix wrong finalization for double subtype of bounded...	commit \| commitdiff \| tree
2023-06-15	Ronan Desplanques	ada: Make minor improvements to user's guide	commit \| commitdiff \| tree
2023-06-15	Yannick Moy	ada: Reject Loop_Entry inside prefix of Loop_Entry	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix too small secondary stack allocation for returned...	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix internal error on loop iterator filter with...	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Revert latest change to Find_Hook_Context	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix too small secondary stack allocation for returned...	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Remove dead code in Expand_Iterator_Loop_Over_Container	commit \| commitdiff \| tree
2023-06-15	Ronan Desplanques	ada: Add escape hatch to configurable run-time	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix missing finalization for aggregates nested...	commit \| commitdiff \| tree
2023-06-15	Johannes Kliemann	ada: Adjust QNX Ada priorities to match QNX system...	commit \| commitdiff \| tree
2023-06-15	Ronan Desplanques	ada: Adjust comments in targparm.ads	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Accept aspect Always_Terminates on packages	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Accept aspect Always_Terminates on entries	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Reject aspect Always_Terminates on functions and...	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix missing error on function call returning incomplete...	commit \| commitdiff \| tree
2023-06-15	Ronan Desplanques	ada: Fix minor issues in comments	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Remove Ttypes.Max_Unaligned_Field	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix inverted implementation of RM 8.4(10) clause...	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Accept aspect Always_Terminates without expression	commit \| commitdiff \| tree
2023-06-15	Javier Miranda	ada: Crash on C++ constructor of private type	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Remove obsolete references for Build_Transient_Object_S...	commit \| commitdiff \| tree
2023-06-15	Eric Botcazou	ada: Fix aspect Linker_Section ignored on subprogram...	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Cleanup analysis of iterated component association	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Fix decoration of iterated component association...	commit \| commitdiff \| tree
2023-06-13	Bob Duff	ada: Add missing ss_mark/ss_release in quantified expressions	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Recognize iterated_component_association as repeatedly...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Recognize iterated_component_association as potentially...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Disable inlining in potentially unevaluated contexts	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Implement new aspect Always_Terminates for SPARK	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Skip elaboration checks for abstract subprograms...	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Fix another case of missing Has_Private_View flag	commit \| commitdiff \| tree
2023-06-13	Marc Poulhiès	ada: Fix iterated component initialization	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Fix exception raised on invalid contract in generic...	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Fix spurious error on call to function returning...	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Fix internal error on imported function with post...	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Streamline expansion of controlled actions for...	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Remove obsolete code in Analyze_Assignment	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove unreferenced routine Is_Inherited_Operation_For_Type	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Small housekeeping work in expansion of extension...	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Fix wrong expansion of limited extension aggregate	commit \| commitdiff \| tree
2023-06-13	Yannick Moy	ada: Mark attribute Initialized as ghost code	commit \| commitdiff \| tree
2023-06-13	Daniel King	ada: Add No_Elaboration_Code_All pragma to System.Storage_El...	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Factor out tag assignments from type in expander	commit \| commitdiff \| tree
2023-06-13	Yannick Moy	ada: Use ghost predicate in standard library	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Fix expansion of aggregates with controlled components	commit \| commitdiff \| tree
2023-06-13	Eric Botcazou	ada: Factor common processing in expansion of aggregates	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove wrong comment about expansion of exceptions...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Cleanup finding of locally handled exception handlers	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Cleanup expansion of locally handled exception...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Tune style in detection of writable function actuals	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Simplify appending to a newly created list	commit \| commitdiff \| tree
2023-06-13	Yannick Moy	ada: Support new GNAT-specific aspect Ghost_Predicate	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove explicit decoration of wrapper created...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Fix wrong access for qualified aggregate with...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Fix internal error on qualified aggregate with...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Add missing guards for degenerate storage models	commit \| commitdiff \| tree
2023-05-30	Marc Poulhiès	ada: Fix incorrect copies being used with 'Address	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Fix bogus Storage_Error on dynamic array with...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Fix minor issue with Mod operator	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Minor generic tweaks left and and right	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Make internal_error_function more robust	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Adjust again the implementation of storage models	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Simplify the implementation of storage models	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Make use of Cannot_Be_Superflat flag on N_Range...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Disable PIE mode during the build of the Ada front-end	commit \| commitdiff \| tree
2023-05-30	Marc Poulhiès	ada: Fix storage model handling for dereference as...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Small cleanups and fixes in expansion of aggregates	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Fix wrong expansion of array aggregate with noncontiguo...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Fix internal error on array constant in expression...	commit \| commitdiff \| tree
2023-05-30	Eric Botcazou	ada: Fix fallout of recent fix for missing finalization	commit \| commitdiff \| tree
next

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

RSS Atom