gcc.gnu.org Git - gcc.git/search

]> gcc.gnu.org Git - gcc.git/search

2023-01-05	Piotr Trojanek	ada: Flag renaming-as-spec as a body to inline	commit \| commitdiff \| tree
2023-01-05	Piotr Trojanek	ada: Remove unhelpful special case for renamed bodies...	commit \| commitdiff \| tree
2022-11-22	Piotr Trojanek	ada: Accept aspects Global and Depends on abstract...	commit \| commitdiff \| tree
2022-11-22	Piotr Trojanek	ada: Adjust number of errors when removing warning...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Adjust locations in aspects on generic formal...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Fix style in code for generic formal subprograms...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Expand generic formal subprograms with contracts...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Clean up call to check if aspects are present	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Propagate aspect Ghost when instantiating null...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Fix expansion of 'Wide_Image and 'Wide_Wide_Image...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Com...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Remove unneeded code in handling formal type defaults	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Cleanup local variable that is only set as an...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Reject limited objects in array and record delta...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Allow initialization of limited objects with delta...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Reject record delta aggregates with limited expressions	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Raise Tag_Error when Ada.Tags operations are called...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Tune hash function for cross-reference entries	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Fix performance regression related to references...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Inline composite node kind AST queries	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Fix detection of external calls to protected objects...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Clean up unnecessary nesting in code for DLL libraries	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Deconstruct Safe_To_Capture_In_Parameter_Value	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Flip warning suppression routine to positive meaning	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Cleanup detection of code within generic instances	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Remove redundant suppression for non-modified...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Reject boxes in delta array aggregates	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Allow reuse of Enclosing_Declaration_Or_Statement...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Clean up unnecesary call in resolution of overloaded...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Clean up code for visibility of generic actuals	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Cleanup comment about mapping parameters when...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Tune layout after switching to Ada 2022 aggregate...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Cleanup WITH clauses after switching from obsolescent...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Create operator nodes in functional style	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Don't reuse operator nodes in expansion	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Simplify detection of pragmas in the context items	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Reject misplaced pragma Obsolescent	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Fix missing tag for with of an obsolescent function	commit \| commitdiff \| tree
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
next

GNU Compiler Collection

RSS Atom

This page took 0.135565 seconds and 4 git commands to generate.