<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/127796>127796</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [openmp] Some libarcher tests fail intermittently
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          tuliom
      </td>
    </tr>
</table>

<pre>
    I've been seeing this issue happen from time to time.
So far, I've reproduced this issue with:
- `libarcher :: races/task-two.c`
- `libarcher :: races/lock-nested-unrelated.c`

The error message is usually like this one:

```
# | /builddir/build/BUILD/llvm-21.0.0_pre20250217.g26fc2e90fc5431-build/llvm-project-26fc2e90fc54313bfe3e0e1fbbb14251ed8afe29/openmp/tools/archer/tests/races/task-two.c:44:11: error: CHECK: expected string not found in input
# | // CHECK: ThreadSanitizer: reported {{[0-9]+}} warnings
# |           ^
# | <stdin>:29:5: note: scanning from here
# | DONE
# |     ^
# | <stdin>:30:1: note: possible intended match here
# | ThreadSanitizer: thread T4 finished with ignores enabled, created at:
# | ^
```

As it can be seen, the test is more or less prepared to deal with the fact that tsan is not 100% accurate in detecting and reporting all data races.
I suspect the problem is: when no data races is detected, that line is not printed and these tests fail.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyEVNFu8zYPfRrlhkggS3ZcX_jCbRr8xT9sF-2uB1miY62yZEh0u-7pB9kpmq_4sBUC6hDi4dEheVRK9uIRW1bds-q0UwuNIba0OBumXR_MR_vERP2G0CN6SIjWX4BGm8CmtCCMap7RwxDDBGQnBArr_wPj3XOAQUUmHuCKEXGOwSwazS3Eu6WRyY7xbg_syJ3tVdQjRshB2UFUGhMTZ1LpdU_v4aDZkf_nbRf0695jIjT7xUd0itB8pjLevYwIGGOIMGFK6oJgEyxpUc59gLOvuFEMHjdu-Rz59fCOCQmsfgAmzv1inTE2fn4ycb7__emXUybh3qa9KA78wP-YIwouKi6K-nARx0ELbPigq1IW-8-89f4cw5-oaf_jHdkPKJFjMfR9X5SiKtDcqQFFw8Q5zOinOWsUgsuv3zTJAUyUAz8RUXZlyWRXFFm2VYr88fC_x4f_r5G_ZtSEBhLF3HQfCIaweAPWg_XzQj_KwMT5K_lljKjMs_KW7N-4AkecQ8x4rL7Pp7rn-4ZVJybuWX1i9QneVfTWX9IN7tcfqx5v68mHRMZ6Jh-Z7ETDZFflIj5Q7hckrXzG2gZzxIg3yafffn38VuPf0CXPKt2izyEl2zsE6wm9QQOTIj1-r_MTEWgNwUsJg_U2jWjW8Qd78SFiAvSqd2jyzuiIeWRB0XUAP8ltVG9nkXddAkuglYce85b6jEAjQu5_nuwpRIQQwWFKMEecVcxbGMCgchuHfH1QmoBGRUBJ-ZyY215wzkQFSuslKsrPBoOEmrLCyptrb9dfzoFRpLY9zC7wBGlJeZTWAnMMvcMJbMpyvI_owYebjFxyw95UWLk46_GTyxyz6GYtSyOm7YkJBmXdYWdaaRrZqB22RS2bphZ1Ue7G1pih5Pwo-0I3XN5JvCvquijFICqlEY87216XsylkWRXl4dijFA02XBSmkkPJSo5TrpF39BDiZbe6V1uIum6OO6d6dGm1USE8vm_exoTIrhrbdbH75ZJYyZ1NlL5gyJJb_fe6xNUJnsOE8OVsXw9cBy5Olgg9uY_dEl07Es1ZzG0FL5bGpT_oMF3t5JurMHFemWUvuFJ_a8U_AQAA__8bTOKz">