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

    <tr>
        <th>Summary</th>
        <td>
            msan false positive on FreeBSD in isprint() after setlocale()
        </td>
    </tr>

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

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

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

<pre>
    The following program:

```console
$ cat foo.c
#include <ctype.h>
#include <limits.h>
#include <locale.h>
#include <stdio.h>

int main(void) {
 setlocale(LC_ALL, "C.UTF-8");
        return isprint(0x7F);
}
```

when compiled with `clang16 -fsanitize=memory` on FreeBSD:

```console
$ clang16 --version
clang version 16.0.6
Target: x86_64-portbld-freebsd13.1
Thread model: posix
InstalledDir: /usr/local/llvm16/bin
$ clang16 -g -fsanitize=memory foo.c -o foo
$ elfctl -e +noaslr ./foo # Work around https://github.com/llvm/llvm-project/issues/53256
```

crashes with a use-of-uninitialized-value error that (I hope) is wrong:

```console
$ ./foo
==21589==WARNING: MemorySanitizer: use-of-uninitialized-value
    #0 0x10bf805 in __sbmaskrune /usr/include/_ctype.h:109:2
    #1 0x10bf4c9 in __sbistype /usr/include/_ctype.h:122:12
    #2 0x10bf336 in main /usr/home/tavianator/code/bfs/foo.c:8:9

SUMMARY: MemorySanitizer: use-of-uninitialized-value /usr/include/_ctype.h:109:2 in __sbmaskrune
Exiting
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJycVU1v4zYQ_TXjC2FBGtq0dNDBiVdFgGQPmywWPQWUNJLYpUiDpJxkf32hj9RJkLTpGgZJzBs-D998WHqvWkOUw_YCtoeVHEJnXR7kSUkjg3Wr0tZP-V1HrLFa2wdlWnZ0tnWyB76H-ADx8yri-VtZ462mxYobVsnAGmuj6tnElan0UBMDflmFpyNFHfAv76Fa9Sr4j2FbSf3xbR9qZV-i06pMYL1UBjA9WVUDZgx2FzPGPIWZFDC9vrzfX18DXjJAvIy-3xXrFBABM-DP_svHURicYcofnTIBMI0fd8VLR9gd3sj0MqSHjgyrbH9Ummr2oELHRiG1NG0i2Lrx0qigfhHwQ0-9dU8gYmYNKxzRxe3h85l4ZlyfyHllzQxNZraYWCKiOBIzciddSwH4nj2m4l5s1kfrQqnrdeOISl8nPEoWz86RrFlva9Kj_9F69ThDV8YHqTXVB-VGCLAYvAMsJqXHXZ_6RAAWpTLvBNu-p8BcUWxtx8P5EummCpqtiQFeGCu9diwCLBprGSBnP6z7yaSzg6lZF8LRj9phAVi0KnRDGVW2XyJatvXR2b-oCoCF8n4gD1hsOW7Fv-SzctJ35OdMSjZ4WttmPRg1PkJq9Yvq9UnqgRg5Zx0LnQwMML1inT3SWJHKswdnTfvp1C6PXAz8APyAyTbN5uOP_bevV1__GNW_meS7XfScEvJxfOcqB-Qxix-TuGzSeMuUYff3vuyl_-kGQ-ecLu0HWNz_09r7JM6A7_EVW7KwbarsmU358cZ_cSFO6ysyXMg4FyPZ2N5nms72I8d5qAEWlZ14y8bPukUV8H0KfJ-9lPv2-83N_tuf_1u2z8nxVsT5N788qqBM-ybfqzrndcYzuaI8Edkm5hue7lZdXnJBgqMgTps6rTFJsxrLXZXu6rjZCb5SOcbI4ywWmMQCd1EZpyS2lRC7mlO6I9jE1Eulo7HaI-va1VTnudhuOa60LEn76f8B0dADm8BxDG4PK5dPHVIOrYdNrJUP_swSVNCU914a1kjtaRoJQZ3oxeQaJTgPzbHwZRPIvRrDgNlqcDr__XadXvJ3AAAA___-pxNQ">