多边形：在浮动类型上声明的最小..最大标量范围

Question

我在Mathworks Polyspace中使用DRS xml文件来微调一些断言。当我想要全范围断言时，请将行放在下面：

<scalar assert_range="min..max" name="myVariable" />

当变量的类型为min时，max和float的确切含义是什么？ 会为-INFINITY..INFINITY还是只为-FLT_MAX..FLT_MAX声明？