On 10.06.2022 23:24, Stefano Stabellini wrote: > On Fri, 10 Jun 2022, Jan Beulich wrote: >> On 10.06.2022 02:48, Stefano Stabellini wrote: >>> + * - `Rule 14.1 >>> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_01.c>`_ >>> + - Required >>> + - A loop counter shall not have essentially floating type >> >> This looks to be missing "point"? > > I am not sure what you mean. Do you mean "floating-point" instead of > "floating" ? > > This is the actual headline for Rule 14.1. MISRA defines "Essential > types" (8.10.2), so in this case it is referring to the type > "essentially floating", which includes float, double and long double.
Yes, I mean "floating-point". But now that I look more closely I actually notice that the C standard also uses the term "floating type" in a number of instances. So perhaps it's just me who considers this odd. Jan
