[Ada] Incremental patch for restriction No_Dynamic_Accessibility_Checks

[Pierre-Marie de Rodat via Gcc-patches]

This patch corrects various issues discovered during testing of the
No_Dynamic_Accessibility_Checks restriction and documents the feature in
the GNAT RM.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

        * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
        Add new entry for No_Dynamic_Accessibility_Checks documenting
        behavior.
        * gnat_rm.texi: Regenerate.
        * exp_ch4.adb (Expand_N_In): Perform special expansion for
        membership tests when No_Dynamic_Accessibility_Checks is active.
        * sem_attr.adb (Resolve_Attribute): Skip static accessibility
        check on actuals for anonymous access type formal parameters,
        and add constants for readability.
        * sem_util.adb (Function_Call_Or_Allocator_Level): Use the
        innermost master for determining the level for function calls
        within the alternative accessibility model.
        (Type_Access_Level): Properly get the level for anonymous access
        function result types.

patch.diff.gz
Description: application/gzip