From: Claire Dross <dross@adacore.com>
Date: Fri, 25 Apr 2025 11:29:23 +0000 (+0200)
Subject: ada: Ignore ghost predicate in Ada.Strings.Superbounded
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2f2107721504f67a85808b52c70fe985b35e5d02;p=thirdparty%2Fgcc.git

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 --git a/gcc/ada/libgnat/a-strsup.ads b/gcc/ada/libgnat/a-strsup.ads
index 65d13ed2cbe..68098ea8941 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;