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

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

projects / thirdparty / gcc.git / search

2023-08-03	Eric Botcazou	ada: Fix spurious error on 'Input of private type with...	commit \| commitdiff \| tree
2023-08-03	Eric Botcazou	ada: Adjust again address arithmetics in System.Dwarf_Lines	commit \| commitdiff \| tree
2023-08-01	Yannick Moy	ada: Fix printing of numbers in JSON output for data...	commit \| commitdiff \| tree
2023-08-01	Yannick Moy	ada: Disable inlining of subprograms with Skip(_Flow_And...	commit \| commitdiff \| tree
2023-08-01	Steve Baird	ada: Bugbox compiling Constrained_Protected_Object...	commit \| commitdiff \| tree
2023-08-01	Steve Baird	ada: Incorrect optimization for unconstrained limited...	commit \| commitdiff \| tree
2023-08-01	Pascal Obry	ada: Default Put_Image for composite derived types...	commit \| commitdiff \| tree
2023-08-01	Yannick Moy	ada: Fix generation of JSON output for data representation	commit \| commitdiff \| tree
2023-08-01	Bob Duff	ada: check Atree.Get/Set_Field_Value	commit \| commitdiff \| tree
2023-08-01	Léo Creuse	ada: Emit SCOs for nested decisions in quantified expressions	commit \| commitdiff \| tree
2023-07-28	Eric Botcazou	ada: Elide the copy in extended returns for nonlimited...	commit \| commitdiff \| tree
2023-07-28	Clément Chigot	ada: Add an assert in Posix Interrupt_Wait	commit \| commitdiff \| tree
2023-07-28	Javier Miranda	ada: Fix unsupported dispatching constructor call	commit \| commitdiff \| tree
2023-07-28	Pascal Obry	ada: Add support for binding to a specific network...	commit \| commitdiff \| tree
2023-07-28	Léo Creuse	ada: Add missing SCO generation for quantified expressions...	commit \| commitdiff \| tree
2023-07-28	Ronan Desplanques	ada: Fix race condition in protected entry call	commit \| commitdiff \| tree
2023-07-28	Viljar Indus	ada: Small refactor	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Add guard for detection of class-wide precondition...	commit \| commitdiff \| tree
2023-07-28	Eric Botcazou	ada: Fix memory explosion on aggregate of nested packed...	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Leave detection of missing return in functions...	commit \| commitdiff \| tree
2023-07-28	Tom Tromey	ada: Emit enums rather than defines for various constants	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Fix typo in comment of Ada.Exceptions.Save_Occurrence	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Allow calls to Number_Formals when no formals...	commit \| commitdiff \| tree
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
next

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

RSS Atom