Merge branch 'eyraud/153' into 'master'

[TGen] Fix interval size computation in floating point generation

Closes #153

See merge request eng/ide/libadalang-tools!196

src/tgen/tgen_rts/tgen-random.adb

@@ -303,7 +303,7 @@ package body TGen.Random is
 
          Nb_Values_Between :=
            Unsigned_Type
-             (HB_Sign * Int_Type (HB_Exp) - LB_Sign * Int_Type (LB_Exp))
+             (HB_Sign * Int_Type (HB_Exp) - LB_Sign * Int_Type (LB_Exp) - 1)
                * MS_Part;
 
          Nb_Values :=

testsuite/tests/test/153-floating-point-tgen/pkg.adb

@@ -0,0 +1,6 @@
+package body Pkg is
+   procedure Foo (P1 : My_Float) is
+   begin
+      null;
+   end Foo;
+end Pkg;

testsuite/tests/test/153-floating-point-tgen/pkg.ads

@@ -0,0 +1,7 @@
+with Ada.Numerics; use Ada.Numerics;
+
+package Pkg is
+   type Precision_6 is digits 6;
+   subtype My_Float is Precision_6 range -Pi .. Pi;
+   procedure Foo (P1 : My_Float);
+end Pkg;

testsuite/tests/test/153-floating-point-tgen/test.gpr

@@ -0,0 +1,4 @@
+project Test is
+   for Source_Dirs use (".");
+   for Object_Dir use "obj";
+end Test;

testsuite/tests/test/153-floating-point-tgen/test.sh

@@ -0,0 +1,4 @@
+# Set the seed to a known crashing seed
+export TGEN_RANDOM_SEED=389810392
+gnattest -P test.gpr --gen-test-vectors -q --gen-test-num 200
+

testsuite/tests/test/153-floating-point-tgen/test.yaml

@@ -0,0 +1,8 @@
+description:
+    This is a regression test case checking that TGen creates floating
+    point values in the range of a floating point type with a range
+    constraint.
+
+driver: shell_script
+control:
+    - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']