This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".
The branch, master has been updated
via 9d0937bd03d26ce473e0f745797fbee2b20f5062 (commit)
from 688a21c3093f0d3dbf7248066b5c9c00802bdf89 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 9d0937bd03d26ce473e0f745797fbee2b20f5062
Author: Marc Poulhiès
Local_Restrictions
,
+ which specifies that a particular subprogram does not violate one or more
+ local restrictions, nor can it call a subprogram that is not subject to
+ the same requirements.User_Aspect_Definition
+ and User_Aspect
,
+ which provide a mechanism for avoiding textual duplication if some set of
+ aspect specifications is needed in multiple places.Always_Terminates
,
+ which provides a condition for a subprogram to necessarily complete
+ (either return normally or raise an exception).Ghost_Predicate
,
+ which introduces a subtype predicate that can reference Ghost entities.
+ Exceptional_Cases
,
+ which lists exceptions that might be propagated by the subprogram with
+ side effects in the context of its precondition and associates them with a
+ specific postcondition.
+ Side_Effects
,
+ which indicates that a function should be handled like a procedure with
+ respect to parameter modes, Global contract, exceptional contract and
+ termination: it may have output parameters, write global variables, raise
+ exceptions and not terminate.CHERI
+ architecture.LoongArch
architecture.-gnatyz
-gnateH
+ to force reverse Bit_Order threshold to 64.