projects
/
platform
/
upstream
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
ada: Reject boxes in delta array aggregates
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
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
next