[gcc r16-1812] ada: Ignore ghost predicate in Ada.Strings.Superbounded

[Marc Poulhies via Gcc-cvs]

https://gcc.gnu.org/g:2f2107721504f67a85808b52c70fe985b35e5d02

commit r16-1812-g2f2107721504f67a85808b52c70fe985b35e5d02
Author: Claire Dross <dr...@adacore.com>
Date:   Fri Apr 25 13:29:23 2025 +0200

    ada: Ignore ghost predicate in Ada.Strings.Superbounded
    
    Add an assertion policy to ignore the ghost predicates in
    Ada.Strings.Superbounded.
    
    gcc/ada/ChangeLog:
    
            * libgnat/a-strsup.ads: Ignore Ghost_Predicate in the assertion 
policy.

Diff:
---
 gcc/ada/libgnat/a-strsup.ads | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/gcc/ada/libgnat/a-strsup.ads b/gcc/ada/libgnat/a-strsup.ads
index 65d13ed2cbe4..68098ea89413 100644
--- a/gcc/ada/libgnat/a-strsup.ads
+++ b/gcc/ada/libgnat/a-strsup.ads
@@ -42,10 +42,11 @@
 --  contract cases should not be executed at runtime as well, in order not to
 --  slow down the execution of these functions.
 
-pragma Assertion_Policy (Pre            => Ignore,
-                         Post           => Ignore,
-                         Contract_Cases => Ignore,
-                         Ghost          => Ignore);
+pragma Assertion_Policy (Pre             => Ignore,
+                         Post            => Ignore,
+                         Contract_Cases  => Ignore,
+                         Ghost           => Ignore,
+                         Ghost_Predicate => Ignore);
 
 with Ada.Strings.Maps; use type Ada.Strings.Maps.Character_Mapping_Function;
 with Ada.Strings.Search;