Public Git Hosting - official-gcc.git/search

2022-05-09	Piotr Trojanek	[Ada] Remove extra space around binary operators	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove CodePeer annotations for pragma Loop_Variant	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Prevent inlining-for-proof for calls inside ELSIF...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove redundant guards for empty list	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Fix indentation of "Start of processing for ...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Refine description of SPARK with static Boolean...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Allow Big_Integer in loop and subprogram variants	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Add utility to preanalyze assert expression without...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove repeated analysis of attribute prefixes	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove redundant call to Set_Etype for attribute...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove doubly-negated tests for empty lists	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unreferenced CCG-specific routine Insert_Declar...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Avoid redundant checks for empty lists	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove name constant used by GNATprove but not...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Reduce scope of declare block in analysis of...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Balance parentheses in comments about allocators	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unreferenced name constants	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Deconstruct a VMS utility routine which is only...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unnecessary block in code for expansion...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Reuse Make_Temporary where possible	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Simplify construction of messages about configurable...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove redundant initialization of Test_And_Set_Flag...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Tune inconsistent message about fixed-lower-bound...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove extra space in single object declarations	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove warnings-as-errors about constraints error...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Escalate pre-continuation messages from warnings...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Use atomic builtins for atomic counters on x86...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Switch from __sync to __atomic builtins for Lock_Free_...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Remove CodePeer annotations for pragma Loop_Variant	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Disable expansion of pragma Loop_Variant in CodePeer...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Fix typo in comment about unit families	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Switch from __sync to __atomic builtins for atomic...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix layout of pragma Inline in generated AST...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix style in expansion of multi-dimensional array...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] More default initialization for multi-dim array...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove repeated routines for printing AST in...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Simplify traversal in hooking of transient scopes	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove extra space before THEN keywords	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove explicit expansion of block with general...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix comment about subprogram unnesting and unconstrain...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix inconsistent quoting in messages about compile...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Consistent suppression for warnings inside null...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove unnecessary guard for inserting non-empty...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove unnecessary guards for appending non-empty...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove unnecessary declare block	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify traversal for removing warnings from...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove a locally handled exception	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Move messages on division by zero to the right...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove unnecessary guards for non-empty lists	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove unreferenced Warn_On_Instance	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Fix style in comments about warning messages	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify type conversions in source pointer arithmetic	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Refactor repeated implicit conversion from Char_Code...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Fix style in calls to Compile_Time_Constraint_Error	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove duplicates of empty strings	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Suppress spurious CodePeer check on generic actual...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify repeated calls in printing of GNAT AST	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify GNAT AST printing with simple GNAT hash...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify detection of alphabetic characters with...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Expand controlling function wrapper into expression...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Expand controlling functions wrappers in GNATprove...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Use Add_Char_To_Name_Buffer for 1-character strings	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify calls to Name_Find with known string...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove extra whitespace in declarations and parameters...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove explicit "in" in internal parameter association	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Align arrows in parameter associations	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove extra space in parameter associations	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Fix layout of parameters in calls to Predef_Spec_Or_Body	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify handling of user-defined numeric literals	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove unnecessary check for missing parameter...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify making of null procedure wrappers	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove redundant code related to instances with...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Fix sharing of formal parameters between wrapper...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Deconstruct dead wrappers added for external...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Cleanup detection of suspension objects	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Cleanup insertion of single freezing actions	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Cleanups related to expansion of dispatching...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Inline all calls in Ada.Task_Identification	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Enable expansion of dispatching equality for...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Separate building of equality from other dispatching...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Split spec and body of expression function with...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Remove extra space after assignment symbol	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Simplify iteration over record components	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Refactor nested loops in warning on unassigned...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Remove duplicated condition in warnings about...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Add contract to Ada.Task_Identification.Activation_Is_...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] More intuitive names in sanity-checking of derived...	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Tune whitespace of the bounded lists Aggregate...	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Replace low-level detection of subprograms with...	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Sync whitespace between variants of Indefinite_Holders...	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Sort list of Ada runtime units in Makefile.rtl	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Whitespace cleanup in Makefile.rtl dependency...	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Document System.Atomic_Counters as supported...	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Simplify building of inequality function body	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Cleanup listing of representation info	commit \| commitdiff \| tree
2021-11-10	Piotr Trojanek	[Ada] Fix comments about expansion of array equality	commit \| commitdiff \| tree
2021-11-10	Piotr Trojanek	[Ada] Don't carry action bodies for expansion of array...	commit \| commitdiff \| tree
2021-11-10	Piotr Trojanek	[Ada] Use predefined equality for arrays inside records	commit \| commitdiff \| tree
2021-11-10	Piotr Trojanek	[Ada] Extend optimized equality of 2-element arrays	commit \| commitdiff \| tree
2021-11-09	Piotr Trojanek	[Ada] Use atomics in runtime on ARM and Aarch64 VxWorks	commit \| commitdiff \| tree
next

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

RSS Atom