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

    <tr>
        <th>Summary</th>
        <td>
            -Wfree-nonheap-object doesn't warn when free() is used on a pointer to an array
        </td>
    </tr>

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

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

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

<pre>
    ```
$ clang-18 -v
Debian clang version 18.1.4 (1)
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/13
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/14
Selected GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/14
Candidate multilib: .;@m64
Selected multilib: .;@m64
$ cat test.c
#include <stdlib.h>

int
main(void)
{
  char *a = "";
  free(a);
  return 0;
}
$ gcc -pipe -Wfree-nonheap-object -o test test.c
test.c: In function ‘main’:
test.c:7:3: warning: ‘free’ called on a pointer to an unallocated object ‘""’ [-Wfree-nonheap-object]
    7 |   free(a);
      |   ^~~~~~~
test.c:6:9: note: assigned here
    6 |   char *a = "";
      |         ^
$ clang-18 -pipe -Wfree-nonheap-object -o test test.c
$ ./test
free(): invalid pointer
Аварийный останов
```
...
```
$ cat test2.c
#include <stdlib.h>

int
main(void)
{
  int *a, b[1];
  a = b;
  free(a);
  return 0;
}
$ gcc -pipe -Wfree-nonheap-object -o test2 test2.c
test2.c: In function ‘main’:
test2.c:8:3: warning: ‘free’ called on unallocated object ‘b’ [-Wfree-nonheap-object]
    8 |   free(a);
      |   ^~~~~~~
test2.c:6:11: note: declared here
    6 |   int *a, b[1];
      |           ^
$ clang-18 -pipe -Wfree-nonheap-object -o test2 test2.c
$ ./test2
free(): invalid pointer
Аварийный останов
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMVk-vozYQ_zTDZQQy5v-BQxIe1Z5bqcfKgAOuHDsyJvu2h372yoYk-9Lsrt62WzVCxszMb5h_Pwc2z2JUnNeQ7SFrArbYSZt6-GMSo7Bx0OnhUw052S7SANkBTbGXTI1hXGJ4WYUN7wRTqxwv3MxCK4zLKI5SBFrGQKvV8BdmRm4h2eFrmf-Wp-G5D6VQy2s4qmUzmQxnA570wKUzPOtZvK6qD2q2TEo-NMI4FdB2mQ3QthNqtWj1ogbsmRrEwCzHnw4HFCuKWaHV31C0jSKgrRQd0Hbse6DtFtk9LNrGyY91n67uf-aS95YP_7bfwy3g0yKtcKhkhxEke0jJKX98-9eMfPuZRctnG_VXWSJUL5eBIySH2Q5SdNEEycum9qtQdt2cmIu_vGgx3MYCiv26QewnZhDojiEkDQKl7kpu6qPhHGjJHPQuNdwuRiG5iaBo7vGOfY_hWZw5hr86fKi0mjg7h7r7nfcWQ-3TeZPTtk92-EHhcVG9awPCC4WSQFX6JLaHCpLdA6iAZJc48EdmlFCj798V61O4YrH3A41aIcOzFspyg1YjU7goJqXumWvJFunNx1aXmxfI9k9zg6y51gixQCgO-KUaut-qh-zlT_97yCqHZOeSRaUtd_ft_Bhw4obf_eSbn2-08v7CbZ-9PDti3tk4B3bUcLJVsqXrs92hUBcmxXCt9QZqCFTErXvqVwJN7Err9qVfK782Xr5fJehvL14U-_UGXk1XrXe6vubtURpF0VP55xyjP4RkQlnfGKAH7CDbx25O7p1ZG9b9N7Sjb_O8PryfeSuq_B7qfY1q3TtZVn4_y-iNZnH8Oc8G3ktmvsizb3TzkWf_gGn0cSbvXKP_W7IFQ50MVVKxgNdxEaekKDJSBVNdxkdGaJzkPMvjlKYDyXhWFZSkOYuPpApETQlNSUozSpKSVlGZZXnfHylJi7JL6BFSwk9MyEjKyynSZgzEPC-8rkgcF4FkHZez_7iiVPGP6JXuEMyawNQOE3bLOENKpJjtfPdihZW8ft6KQfNZAS2sn3D8OHGF96qjmHGZn_-hMGPYp2Axsp6sPc-OPLR13w_CTksX9frkPink5XoLz0b78aatj3wG2vrM_goAAP__ZBfUdQ">