User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.18) Gecko/20110617 Thunderbird/3.1.11
Brian, thanks a lot for the pointer, this looks great. Let us know if we
can help somehow.
of conditional expressions that will be fixed in the next CompCert release
- but it was encountered in the safe_math.h functions rather than the
random code!
Funny-- those safe math functions have managed to find quite a few compiler
bugs.