Hi John,
Thank you much for the help and instructions. It does work for me now.
Another question I have is regarding the reason for providing both macro-based and function-based headers. Was it related to performance, undefined behaviour, or something else?
Thanks,
Karine
-----Original Message-----
From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of John Regehr
Sent: 24 February 2020 18:01
To: csmith-dev@flux.utah.edu
Subject: Re: [csmith-dev] Using safe math headers in csmith
*******************
This email originates from outside Imperial. Do not click on links and attachments unless you recognise the sender.
If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address.
*******************
Hi Karine, ok, I looked into this. Both of these alternative header files appear to work just fine. If you want to use the NOTMP versions, you need to pass Csmith the additional --math-notmp flag.
I ran this shell script a few times and both versions always produced the same checksum:
./src/csmith > foo.c
clang -O0 -w foo.c -I../runtime -o foo1
clang -O0 foo.c -I../runtime -DUSE_MATH_MACROS -w -o foo2 ulimit -t 2
./foo1
./foo2
Let us know if anything doesn't work as advertised.
John
On 2/24/20 8:20 AM, John Regehr wrote:
Hi Karine,
Well, I just tried to compile a program using -DUSE_MATH_MACROS_NOTMP
and it did not compile, so something must have gone wrong here. I
assume the same thing happened when you tried this?
I'll try to look into it soon.
John
On 2/24/20 2:28 AM, Even Mendoza, Karine wrote:
Hi,
I would like to know if the version of csmith using the header
safe_math_macros.h or safe_math_macros_notmp.c is working.
Can I use these headers instead of safe_math.h and expect the same
output for the generated programs?
Thanks much,
Karine