Public Git Hosting - official-gcc.git/search

2023-07-28	Piotr Trojanek	ada: Improve defense against illegal code in check...	commit \| commitdiff \| tree
2023-07-25	Marc Poulhiès	Adjust one Ada test	commit \| commitdiff \| tree
2023-07-18	Tom Tromey	ada: Use new typedefs in gcc-interface	commit \| commitdiff \| tree
2023-07-18	Javier Miranda	ada: Constraint_Error caused by 'Image applied to interface...	commit \| commitdiff \| tree
2023-07-18	Viljar Indus	ada: Avoid iterator conflicts in container aggregates	commit \| commitdiff \| tree
2023-07-18	Viljar Indus	ada: Apply correct element type for container aggregates	commit \| commitdiff \| tree
2023-07-18	Viljar Indus	ada: Fix expanding container aggregates with Iterator...	commit \| commitdiff \| tree
2023-07-18	Eric Botcazou	ada: Improve error message for ambiguous subprogram...	commit \| commitdiff \| tree
2023-07-18	Javier Miranda	ada: Constraint_Error caused by interface conversion	commit \| commitdiff \| tree
2023-07-18	Ronan Desplanques	ada: Tweak CPU affinity handling on Linux	commit \| commitdiff \| tree
2023-07-18	Eric Botcazou	ada: Fix internal error on aggregates of self-referencing...	commit \| commitdiff \| tree
2023-07-18	Eric Botcazou	ada: Fix assertion failure introduced by latest change	commit \| commitdiff \| tree
2023-07-18	Alexandre Oliva	ada: Expose expected_throw attribute	commit \| commitdiff \| tree
2023-07-18	Vasiliy Fofanov	ada: Refactor s-pack* units to remove multiple returns	commit \| commitdiff \| tree
2023-07-18	Yannick Moy	ada: Allow warnings with explain code	commit \| commitdiff \| tree
2023-07-18	Eric Botcazou	ada: Fix Valid_Scalars attribute applied to types from...	commit \| commitdiff \| tree
2023-07-11	Bob Duff	ada: Avoid renaming_decl in case of constrained array	commit \| commitdiff \| tree
2023-07-11	Eric Botcazou	ada: Fix wrong resolution for hidden discriminant in...	commit \| commitdiff \| tree
2023-07-10	Eric Botcazou	ada: Follow-up fix for compilation issue with recent...	commit \| commitdiff \| tree
2023-07-10	Tom Tromey	ada: Add typedefs to snames.h-tmpl	commit \| commitdiff \| tree
2023-07-10	Yannick Moy	ada: Simplify assertion to remove CodePeer message	commit \| commitdiff \| tree
2023-07-10	Bob Duff	ada: Documentation for mixed declarations and statements	commit \| commitdiff \| tree
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
next

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

RSS Atom