- Floating-point support was introduced in version 2.2.0 according to
the release note [1]. Floating point support must be turned on passing
--float command-line option. This note acknowledges work of Dr. Alastair
Donaldson for the initial implementation.
Yes, please check with Ally, he and his people have been doing this. I think basically all of us are interested but it's been a matter of making time to work on it.
- I conducted a run of csmith 2.2.0 with --float argument on Ubuntu
10.04 (gcc 4.4.3). Number of crash-programs is significantly more now.
Running csmith without --float found 3 crash-bugs, while running with
--float found more than 300 crash-bugs within the (almost) same runtime.
Nice. There are a few things going on here. As Yang observes, there's some number <300 of bugs that are getting triggered multiple times. To find the true set of bugs you can start to report them, one at a time.
Another thing that is going on is that GCC has built up a huge resistance to Csmith. We've beaten it up for years now. We have not beaten on its FP code so of course there's more low-hanging fruit.
I am interested to know current support-level for floating points, any
limitations and any future works you plan regarding float-point support.
I'll also appreciate any source which explains current support level of
floating-point in csmith.
Hopefully Ally will chime in. You should the source code too, there's not that much that deals with FP, as far as I know.
John