diff options
| author | Yannick Moy <moy@adacore.com> | 2021-05-17 15:58:26 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-07 16:23:13 +0000 |
| commit | d557a5f9cea39c4871af06e0684f94590d8bd97d (patch) | |
| tree | b9be7181822a24d52f41ef7d4372e44aa6cbfb6c | |
| parent | 6dcf89443d781561bfddf372ee33bf78fcad3a75 (diff) | |
| download | gcc-d557a5f9cea39c4871af06e0684f94590d8bd97d.zip gcc-d557a5f9cea39c4871af06e0684f94590d8bd97d.tar.gz gcc-d557a5f9cea39c4871af06e0684f94590d8bd97d.tar.bz2 | |
[Ada] Fix precondition of Cot for code analyzers
gcc/ada/
* libgnat/a-ngelfu.ads (Cot): Fix precondition.
| -rw-r--r-- | gcc/ada/libgnat/a-ngelfu.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/libgnat/a-ngelfu.ads b/gcc/ada/libgnat/a-ngelfu.ads index 055c282..523e64f 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, |