[csmith-dev] unsafe math

[John Regehr <regehr@cs.utah.edu>]

Does Csmith have an option to just stop using the safe math functions, 
instead generating raw +, -, etc.?

I didn't see anything in the help output but thought I remembered that we 
used to be able to do this.

This would be a very nice thing to have when just trying to crash compilers.

Xuejun-- if this doesn't exist, I imagine you don't have time to do it. 
Can you tell me where to hack if I can make time over the weekend?

John