From 2f2107721504f67a85808b52c70fe985b35e5d02 Mon Sep 17 00:00:00 2001 From: Claire Dross Date: Fri, 25 Apr 2025 13:29:23 +0200 Subject: [PATCH] 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. --- 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 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; -- 2.47.2