1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-imgrea.adb b/gcc/ada/libgnat/s-imgrea.adb
index 467c482..46cacd0 100644
--- a/gcc/ada/libgnat/s-imgrea.adb
+++ b/gcc/ada/libgnat/s-imgrea.adb
@@ -289,6 +289,8 @@ package body System.Img_Real is
             --  What we are looking for is a power of ten to divide X by
             --  so that the result lies within the required range.
 
+            pragma Assert (Powten (Maxpow) /= 0.0);
+
             loop
                XP := X / Powten (Maxpow);
                exit when XP < Powten (S) or else Scale > Maxscaling;
@@ -490,6 +492,9 @@ package body System.Img_Real is
          --  an infinite value, so we print Inf.
 
          if V > Long_Long_Float'Last then
+            pragma Annotate
+              (CodePeer, Intentional, "test always true", "test for infinity");
+
             Set ('+');
             Set ('I');
             Set ('n');