LLNL/dataracebench

DRB047 has different ground truth between C/C++ file and Fortran file.

Yaying-llnl-summer opened this issue · 4 comments

DRB047 has different ground truth between C/C++ file and Fortran file.

Yes @Yaying-llnl-summer. Please find the reasoning below:

In c, we can assign int to a char array but in Fortran we can not. It will throw an error. So, we need to use write() in Fortran. Using write() without handling dependencies will cause undefined behavior in Fortran. Same thing won't be present in c. Hence, they are different, but correct.

In c, it doesn't have a data race but in Fortran it will have.

Keeping this open so that I remember to put it in the paper.