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

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

projects / thirdparty / gcc.git / search

2022-11-07	Piotr Trojanek	ada: Remove useless validity suppression for attribute...	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Fix typo in comment referring to pragma Restrictions	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Cleanup code for warnings about unreferenced formal...	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Cleanup code for unreferenced variables	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Cleanup code for warnings about unset references	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Remove redundant calls in handling of aspect specifications	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Avoid repeated iteration over private protected...	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Cleanup clearing flags on package variables	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Fix various typos in GNAT User's Guide	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Fix repeated killing of private entity values	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Simplify detection of controlling formals	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Fix various typos in node and entity description...	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Fix various typos in GNAT RM	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Improve efficiency of scope stack restoration	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Support lock-free protected objects with pragma...	commit \| commitdiff \| tree
2022-11-04	Piotr Trojanek	ada: Reject expanded global names in lock-free protected...	commit \| commitdiff \| tree
2022-10-06	Piotr Trojanek	ada: Reject conditional goto in lock-free protected...	commit \| commitdiff \| tree
2022-10-06	Piotr Trojanek	ada: Cleanup related to lock-free protected subprograms	commit \| commitdiff \| tree
2022-10-06	Piotr Trojanek	ada: Fix inserting of validity checks in lock-free...	commit \| commitdiff \| tree
2022-10-06	Piotr Trojanek	ada: Fix spurious warning on unreferenced refinement...	commit \| commitdiff \| tree
2022-09-29	Piotr Trojanek	ada: Fix checking of Refined_State with nested package...	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Fix location of pragmas coming from aspects in...	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Remove unreferenced Rtsfind entries	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Remove unreferenced C macro from OS constants...	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Delay expansion of iterator specification in preanalysis	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Delay expansion of iterated component association	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Only reject volatile ghost objects when SPARK_Mode...	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Remove socket definitions for ancient MinGW	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Remove definition of MAXPATHLEN for ancient MinGW	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Deconstruct build support for ancient MinGW	commit \| commitdiff \| tree
2022-09-26	Piotr Trojanek	ada: Tune comment of routine for detecting junk names	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Sync documentation of junk names with code	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Reject 'Valid_Scalars on Unchecked_Union regardless...	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Special-case printing of SPARK_Mode in error...	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Cleanup routine for handling SPARK_Mode kinds	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Fix validity checking on renamed Old attribute...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Retain Has_Private_View flag for actuals of inlined...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Fix comment about mapping of parameters and inlining...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Cleanup unnecessary shadowing in expansion of...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Tune message for illegal aspect Relaxed_Initialization	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Add formal verification dependencies to libgnat	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Improve detection of illegal Iterable aspects	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Move check for null array aggregates to expansion	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix inconsistent building of itypes for null...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix insertion of a runtime check for null array...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup iteration over aggregate component associations	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Remove VMS specific routine that is no longer...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Create internal type for null array aggregate...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Remove no longer referenced GNATprove utility...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix detection of unused warning suppression	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Detect expansion of iterated component associations...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix double identifiers in iterated component...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix resolution of iterated component association	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup analysis of iterator specifications	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup resolution of aggregates with mixed component...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup resolution of iterated component association	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup analysis of quantified expressions with...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup expansion of attribute Priority	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix expansion of attribute Priority	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Remove excessive guards against inserting empty...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Improve pretty-printing of iterated component...	commit \| commitdiff \| tree
2022-07-13	Piotr Trojanek	[Ada] Fix for visibility of aspect expressions inside...	commit \| commitdiff \| tree
2022-07-13	Piotr Trojanek	[Ada] Handle bodies-to-inline just like generic templates	commit \| commitdiff \| tree
2022-07-13	Piotr Trojanek	[Ada] Fix crash on frontend inlining of functions with...	commit \| commitdiff \| tree
2022-07-13	Piotr Trojanek	[Ada] Refine type for checking number of pragma arguments	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Fix inconsistent comment about expansion of exception...	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Don't check for misspelling of Not_A_Restriction_Id	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Fix confusing error expression on an unknown...	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Simplify rewriting of attributes into Boolean...	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Fix spurious warning on unreferenced internal...	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Warn on unset objects in packages with no bodies	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Accept aspect Yield on subprogram bodies acting...	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Warn about unreachable code after calls with...	commit \| commitdiff \| tree
2022-07-12	Piotr Trojanek	[Ada] Remove excessive guard in detection of access...	commit \| commitdiff \| tree
2022-07-06	Piotr Trojanek	[Ada] Simplify regular expression that matches 8 consecutive...	commit \| commitdiff \| tree
2022-07-06	Piotr Trojanek	[Ada] Cleanup use of local scalars in GNAT.Socket.Get_Addres...	commit \| commitdiff \| tree
2022-07-06	Piotr Trojanek	[Ada] Remove explicit call to Make_Unchecked_Type_Conversion	commit \| commitdiff \| tree
2022-07-06	Piotr Trojanek	[Ada] Restore accidentally removed part of a comment...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Warn about obsolete uses of renamed Ada 83 packages	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove kludge for validity checks on Long_Float...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove repeated setting of Never_Set_In_Source	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Reorder processing of default expressions to...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove redundant protection against empty lists	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove use of a global name buffer when locating...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Reuse Get_Pragma_Arg to handle pragma argument...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove repeated analysis for pragma Thread_Local_Storage	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Annotate GNAT.Sockets with No_Return aspects	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Cleanup repeated code for aggregate constraints...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Fix comments mentioning ancient flags related...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove unnecessary dead code after calls to nonreturni...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove return statements after procedure calls...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Fix clearly unintentional dead analysis of attribute...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Cleanup in error about unreachable code	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove redundant guards in detection of unreachable...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove redundant guard for call to List_Length...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Add RM reference to check for functions without...	commit \| commitdiff \| tree
2022-07-05	Piotr Trojanek	[Ada] Remove comment about a long gone formal verification...	commit \| commitdiff \| tree
2022-07-04	Piotr Trojanek	[Ada] Refactor duplicated resolution of Count and Index...	commit \| commitdiff \| tree
2022-07-04	Piotr Trojanek	[Ada] Fix for resolution of overloaded subprogram for...	commit \| commitdiff \| tree
2022-06-02	Piotr Trojanek	[Ada] Remove redundant checks for missing lists	commit \| commitdiff \| tree
next

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

RSS Atom