<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylVMFu4yAQ_Rp8GQXZYMf1wQc3aaVKe9vV7pkYnLAiYAHONn-_Y5y0qZSuKq2EbWBm3rx5A945eW6_i-NoFPROKiDsIea0J6whvCP5luQdWeeXkZYnpyUM6DdPCOtgnJ0Xz_rxMskbtIyEX9f19i7Wiz25XkTt7GfZCCuhN8LuYaYFqxAl4du-KGA1Kils1Lj5SxiDb_UavYBVfxfo6XVUfVQSpBZ76wIGhs-SSuXVgI_tNSYmrE41Y0U4hdFpG5W_G9j1cRLmKykI31gXD4hP-NNdj5_Kh38IU3Ca0_yuaVMUhG1gTSvKKYNOSq9CAGElaCu1Rx0QGNyovIjOh9n5uzomMdOifE_Kn-DHQS21d5MV_jzP32KXfZAKi1HhFp7CywARQ5Mrpk66BYgOBAyTTU5zstkH-U0mgg63tksrgt7blIo_gh5AxwuZGzysZfcb096Bs2BOwkzqjegCN_c1kUtx9HpqP6iH2tECvqXwJIvwXpyXGdZz5QnvFJOt-CBeZy90P9BYmKnXcW7MjIHX6Y-Oh3l3cVmIQTyPSBKZeqSLxsudS6OZtyLqGhV2Dq_A-Y2KCjeioG6U0ky2XDa8EZmY4sH5djw6X_Bs8qY9xDimk8qeceyRyLSjvTviwpjT9bMavVtUftYhJE2eK77mRXZoWdmv82JoiqEeStGvq6GWD2VVF1WzfhhKlRmxUya0pHok1Tb7_5S6ZTnDkdfFmlWc0YdmKHeir3kpBSuYImWOR1obOuNQ5_eZbxPkbtoHNBodYng3ijArp9SVYdTRqHaDP8XjqA1ed97BETnMB-fmemO32Jf-FoxlqYI20f8Lyrqi3g>53631</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            C compiler: missing diagnostics "dereferencing 'void *' pointer"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    Sample code (t0.c):
```
void f(void* p)
{
        *p;
}
```
Invocation:
```
$ clang t0.c -std=c11 -pedantic -Wall -Wextra -c
```
Expected diagnostics:
```
dereferencing 'void *' pointer
```
Actual diagnostics:
```
<nothing>
```
Version:
```
13.0.0
```
C11, 6.5.3.2 Address and indirection operators, Semantics, 4:
> The **unary * operator** denotes indirection. If the operand points to a function, the result is a function
designator; if it **points to an object, the result is an lvalue** designating the object.

C11, 6.3.2.1 Lvalues, arrays, and function designators, 1:
> An **lvalue** is an expression (with an **object type other than void**) that potentially designates an object; ...
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNU01v4yAQ_TX4MgoyYCfNwQc3aaVKe-tq90wMTlgRsABnm3-_Y5y0qZSuKpF4YD7emzew8-rcvMrjYDV0Xmkg_CGVtCN8TURLyi0pW7IsLytvT94o6DFuMghvYZiC58jV48Uo1-gZiLjuV9u7tV7cyXcyGe--QiO8gs5Kt4eJFixiUkRsO8ZgMWglXTJ4-Ftai__6LQUJi-5uoae3QXdJK1BG7p2PmBi_AlU66B5_rjMITPgq94wdoQmDNy7pcDex7dIo7XcgiNg4nw5Yn4inuxG_dIj_EYYJWtLyrmvDGOEbWNKaCsqhVSroGEE6BcYpE1AHLAx-0EEmH-IU_KqPWcy8qT5AxRP8POi593Z0Mpwn-z13PgelsRkdb8tTeOkhYWoOReisW4TkQUI_uhw0gU0xyG-0CUy89V1GEc3eZSjxCKYHky5kbuphL7s_CHunnAN7knbU70TnctNcM7mcR6-39pN6qB1l8COnZ1lkCPI8W9jPlSd8UMw-9km81l3ofqIxM9NvwzSYqQY-p78mHabTOWQmBuk8IElkGpAuOi9vLq_1dJRQ16RxcvgEzu9UdLwRBXWjlBaqEWot1rJIJlndbPC9Hwdj8SaLFo4GeaAmNzcXifBvPQTOizHY5pDSkK87f8a1x27GHUUM3Fh7un4WQ_DzqJ4RMgv7XIulYMWhqboVq3jNe_ag2LoWfVeVgtfsYakY7xQrrNxpGxtSP5J6W5iGlxxXuWJLXgtOH9Z9tZPdSlRKcsY1qUq81cbSCZj6sC9Ckznsxn1EpzUxxQ-njJN4Wl_ryzEdfGiGow9MFJltk6n-A5mJjOg">