From d557a5f9cea39c4871af06e0684f94590d8bd97d Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Mon, 17 May 2021 15:58:26 +0200 Subject: [PATCH] [Ada] Fix precondition of Cot for code analyzers gcc/ada/ * libgnat/a-ngelfu.ads (Cot): Fix precondition. --- gcc/ada/libgnat/a-ngelfu.ads | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/libgnat/a-ngelfu.ads b/gcc/ada/libgnat/a-ngelfu.ads index 055c2823450b..523e64ff9710 100644 --- a/gcc/ada/libgnat/a-ngelfu.ads +++ b/gcc/ada/libgnat/a-ngelfu.ads @@ -126,7 +126,7 @@ is Pre => Cycle > 0.0 and then X /= 0.0 and then Float_Type'Base'Remainder (X, Cycle) /= 0.0 - and then abs Float_Type'Base'Remainder (X, Cycle) = 0.5 * Cycle; + and then abs Float_Type'Base'Remainder (X, Cycle) /= 0.5 * Cycle; function Arcsin (X : Float_Type'Base) return Float_Type'Base with Pre => abs X <= 1.0, -- 2.47.3