As part of my work, I need to annotate the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.
So while reading the reports (newer ones), when I started Linux_floatop.new.org, there was only one TODO. Means they have not at all used floating point values in recent Linux Kernel.
As part of my project, while reading the reports, I came to know about bugs of type which were about using floating point values in Linux Kernel code. There were many in the versions 2.4.x and 2.6.x. I was also required to list FPs (false positives) by Coccinelle. This post is be about, bug type of using floating point values in Linux Kernel.
You can view the complete report as a PDF here and as a HTML file here.