Public Git Hosting - official-gcc.git/search

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
2023-05-22	Steve Baird	ada: Better error message if non-Ada2022 code declares...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix double finalization in conditional exit statement	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix handling of constrained array declarations...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix traversal for the rightmost node of a pretty...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Restrict expression pretty-printer to subexpressions	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Don't pretty-print DEL within expression images	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Update Controlling_Argument when copying trees	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: update Ada_Version_Type in fe.h to match opt.ads	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: prevent infinite recursion in Collect_Types_In_Hierarchy	commit \| commitdiff \| tree
2023-05-16	Steve Baird	ada: Add "gnat --help-ada" text for new switches.	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Use accumulator type in expansion of 'Reduce attribute	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix missing warning on aggregate with iterated...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix crash on iterated component in expression...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix internal error on 'Image applied to array...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix internal error on chain of predicated record...	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Update proof of runtime units	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Implement inheritance of user-defined literal...	commit \| commitdiff \| tree
2023-05-16	Javier Miranda	ada: Spurious error analyzing 'old or 'result in class...	commit \| commitdiff \| tree
2023-05-16	Javier Miranda	ada: Spurious error on function returning CPP type	commit \| commitdiff \| tree
2023-05-16	Piotr Trojanek	ada: Apply range checks to preanalyzed aggregate expressions	commit \| commitdiff \| tree
2023-05-16	Ghjuvan Lacambre	ada: usage.adb: document -gnatyD switch	commit \| commitdiff \| tree
2023-05-16	Marc Poulhiès	ada: Fix Ada representation of r_debug and link_map...	commit \| commitdiff \| tree
2023-05-16	Johannes Kliemann	ada: Enable Support_Atomic_Primitives on PPC Linux	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Follow-up improvement to implementation of storage...	commit \| commitdiff \| tree
2023-05-16	Arnaud Charlet	ada: Add tags on style messages	commit \| commitdiff \| tree
2023-05-16	Tom Tromey	ada: Fix typo in "pattern"	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Adjust semantics and implementation of storage...	commit \| commitdiff \| tree
2023-05-16	Piotr Trojanek	ada: Build invariant procedure while freezing in GNATprove...	commit \| commitdiff \| tree
2023-05-16	Richard Kenner	ada: Get name from entity if that's what's passed to...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Document examples of No_Dependence restriction...	commit \| commitdiff \| tree
2023-05-16	Arnaud Charlet	ada: Bad handling of ASCII with -gnatyn	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Introduce Cannot_Be_Superflat flag on N_Range...	commit \| commitdiff \| tree
2023-05-16	Richard Kenner	ada: Change Present_Expr field type to Uint	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Simplify dramatically ghost code for proof of...	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Add intermediate assertions for proof of Super_Tail	commit \| commitdiff \| tree
2023-05-16	Arnaud Charlet	ada: Missing dependency with -gnatc	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Set Loop_Variant assertion policy to Ignore in...	commit \| commitdiff \| tree
2023-05-16	Marc Poulhiès	ada: Trivial refactoring in Instantiate_*_Body	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Restore proof of System.Arith_Double	commit \| commitdiff \| tree
2023-05-15	Marc Poulhiès	ada: Fix typo in comment	commit \| commitdiff \| tree
2023-05-15	Yannick Moy	ada: Add annotations for proof of termination of runtime...	commit \| commitdiff \| tree
2023-05-15	Yannick Moy	ada: Recover proof of runtime units	commit \| commitdiff \| tree
2023-05-15	Yannick Moy	ada: Recover proof of Interfaces.C for termination	commit \| commitdiff \| tree
2023-05-15	Bob Duff	ada: Fix comment related to inlining	commit \| commitdiff \| tree
2023-05-15	Bob Duff	ada: Use Inline aspect instead of pragma in Einfo.Utils	commit \| commitdiff \| tree
2023-05-15	Ronan Desplanques	ada: Fix formatting inconsistency in User's Guide	commit \| commitdiff \| tree
2023-05-15	Bob Duff	ada: Remove duplicated code in Proc_Next_Component_Or_Discri...	commit \| commitdiff \| tree
2023-05-15	Bob Duff	ada: Improve comment on First_Entity	commit \| commitdiff \| tree
2023-05-15	Bob Duff	ada: Clean up vanishing entity fields	commit \| commitdiff \| tree
2023-05-15	Eric Botcazou	ada: Fix internal error on instance in package body...	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-15	Ronan Desplanques	ada: Simplify lookup of predecessor in homonym chain	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Accept aggregates with OTHERS clause in unchecked...	commit \| commitdiff \| tree
2023-05-15	Steve Baird	ada: Emit warnings for (some) ineffective static predicate...	commit \| commitdiff \| tree
2023-05-15	Yannick Moy	ada: Update comment after SPARK RM change	commit \| commitdiff \| tree
2023-05-15	Ronan Desplanques	ada: Improve check of attribute reference	commit \| commitdiff \| tree
2023-05-15	Ronan Desplanques	ada: Fix minor documentation formatting issue	commit \| commitdiff \| tree
2023-05-15	Bob Duff	ada: Optimize 2**N to avoid explicit 'if' in modular...	commit \| commitdiff \| tree
2023-05-15	Bob Duff	ada: Add Check_Error_Detected before "raise Bad_Attribute"	commit \| commitdiff \| tree
2023-05-15	Yannick Moy	ada: Fix handling of pragma Warnings (Toolname, Off/On)	commit \| commitdiff \| tree
2023-05-15	Eric Botcazou	ada: Fix invalid JSON for extended variant record with...	commit \| commitdiff \| tree
2023-05-15	Claire Dross	ada: Fix proof of runtime unit System.Value*	commit \| commitdiff \| tree
2023-05-15	Yannick Moy	ada: Allow pragmas Annotate between loop pragmas	commit \| commitdiff \| tree
2023-05-15	Javier Miranda	ada: INOX: prototype RFC on String Interpolation	commit \| commitdiff \| tree
2023-05-15	Joel Brobecker	ada: GNAT UGN: Add section documenting PIE being enabled...	commit \| commitdiff \| tree
2023-05-15	Javier Miranda	ada: Skip dynamic interface conversion under native...	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Reject attribute Initialize on unchecked unions	commit \| commitdiff \| tree
2023-05-15	Ronan Desplanques	ada: Fix Unchecked_Conversion in edge case	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Fix link to parent when copying with Copy_Separate_Tree	commit \| commitdiff \| tree
2023-01-16	Marc Poulhiès	ada: Update copyright years.	commit \| commitdiff \| tree
next

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

RSS Atom