Public Git Hosting - official-gcc.git/search

2023-07-10	Alexandre Oliva	ada: hardcfr: optionally disable in leaf functions	commit \| commitdiff \| tree
2023-07-10	Alexandre Oliva	ada: hardcfr: mark throw-expected functions	commit \| commitdiff \| tree
2023-07-10	Yannick Moy	ada: Adapt proof of System.Arith_Double to remove CVC4	commit \| commitdiff \| tree
2023-07-10	Alexandre Oliva	ada: Add leafy mode for zero-call-used-regs	commit \| commitdiff \| tree
2023-07-06	Claire Dross	ada: Add specification source files of runtime units	commit \| commitdiff \| tree
2023-07-06	Claire Dross	ada: Refactor the proof of the Value and Image runtime...	commit \| commitdiff \| tree
2023-07-06	Viljar Indus	ada: Evaluate static expressions in Range attributes	commit \| commitdiff \| tree
2023-07-06	Viljar Indus	ada: Refer to non-Ada binding limitations in user guide	commit \| commitdiff \| tree
2023-07-06	Viljar Indus	ada: Reuse code in Is_Fully_Initialized_Type	commit \| commitdiff \| tree
2023-07-06	Viljar Indus	ada: Avoid crash in Find_Optional_Prim_Op	commit \| commitdiff \| tree
2023-07-06	Yannick Moy	ada: Improve error message on violation of SPARK_Mode...	commit \| commitdiff \| tree
2023-07-06	Steve Baird	ada: Finalization not performed for component of protected...	commit \| commitdiff \| tree
2023-07-04	Eric Botcazou	ada: Do not unnecessarily use component-wise loop for...	commit \| commitdiff \| tree
2023-07-04	Eric Botcazou	ada: Small adjustments to new procedure Expand_Unchecked_Uni...	commit \| commitdiff \| tree
2023-07-04	Viljar Indus	ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to...	commit \| commitdiff \| tree
2023-07-04	Yannick Moy	ada: Fix list of inherited subprograms in query for...	commit \| commitdiff \| tree
2023-07-03	Eric Botcazou	ada: Fix renaming of predefined equality operator for...	commit \| commitdiff \| tree
2023-07-03	Eric Botcazou	ada: Fix discrepancy in expansion of untagged record...	commit \| commitdiff \| tree
2023-07-03	Eric Botcazou	ada: Fix small inaccuracy in implementation of B.3...	commit \| commitdiff \| tree
2023-06-27	Eric Botcazou	ada: Fix build of GNAT tools	commit \| commitdiff \| tree
2023-06-27	Eric Botcazou	ada: Fix bad interaction between inlining and thunk...	commit \| commitdiff \| tree
2023-06-27	Eric Botcazou	ada: Make the identification of case expressions more...	commit \| commitdiff \| tree
2023-06-27	Eric Botcazou	ada: Fix double finalization of case expression in...	commit \| commitdiff \| tree
2023-06-27	Eric Botcazou	ada: Fix incorrect handling of iterator specifications...	commit \| commitdiff \| tree
2023-06-27	Claire Dross	ada: Correct the contract of Ada.Text_IO.Get_Line	commit \| commitdiff \| tree
2023-06-27	Eric Botcazou	ada: Fix too late finalization and secondary stack...	commit \| commitdiff \| tree
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
next

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

RSS Atom