Public Git Hosting - official-gcc.git/search

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
2022-06-01	Piotr Trojanek	[Ada] Fix missing space in error message	commit \| commitdiff \| tree
2022-06-01	Piotr Trojanek	[Ada] Propagate null-exclusion to anonymous access...	commit \| commitdiff \| tree
2022-05-30	Piotr Trojanek	[Ada] Fix expansion of structural subprogram variants	commit \| commitdiff \| tree
2022-05-30	Piotr Trojanek	[Ada] Simplify construction of a path to file	commit \| commitdiff \| tree
2022-05-30	Piotr Trojanek	[Ada] Remove repeated description of support for Address...	commit \| commitdiff \| tree
2022-05-30	Piotr Trojanek	[Ada] Deconstruct deferred references	commit \| commitdiff \| tree
2022-05-30	Piotr Trojanek	[Ada] Fix typo in comment for functional sets	commit \| commitdiff \| tree
2022-05-19	Piotr Trojanek	[Ada] Remove redundant marking of illegal pragma with...	commit \| commitdiff \| tree
2022-05-19	Piotr Trojanek	[Ada] Fix continuation message without a prior error	commit \| commitdiff \| tree
2022-05-19	Piotr Trojanek	[Ada] Ignore Predicate_Failure in GNATprove mode	commit \| commitdiff \| tree
2022-05-19	Piotr Trojanek	[Ada] Fix invalid expanded code for entry families	commit \| commitdiff \| tree
2022-05-19	Piotr Trojanek	[Ada] Cleanup expansion of protected entry families	commit \| commitdiff \| tree
2022-05-19	Piotr Trojanek	[Ada] Remove dead code for scope entity having E_Subprogram_...	commit \| commitdiff \| tree
2022-05-18	Piotr Trojanek	[Ada] Prevent overflow in computation of aggregate...	commit \| commitdiff \| tree
2022-05-17	Piotr Trojanek	[Ada] Restore defensive guard in checks for volatile...	commit \| commitdiff \| tree
2022-05-17	Piotr Trojanek	[Ada] Fix documentation of using attribute Loop_Entry...	commit \| commitdiff \| tree
2022-05-17	Piotr Trojanek	[Ada] Enable current value propagation within pragma...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Fix expansion of attribute Loop_Entry wrt value...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove useless code related to current value...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove duplicated detection of user-defined equality	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Improve building of untagged equality	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Pick volatile refinement property of a subtype...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Clarify code for detecting volatile refinement...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove duplicated code for detecting enabled...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove obsolete uses of Unchecked_Conversion...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove obsolete uses of Unchecked_Deallocation...	commit \| commitdiff \| tree
next

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

RSS Atom