Sample code (t0.c):
void f(void* p)
{
*p;
}
Invocation:
icc t0.c -std=c11 -pedantic -Wall -Wextra -c
Expected diagnostics:
dereferencing 'void *' pointer
Actual diagnostics:
<nothing>
Version:
icc 2021.5.0 on x86-64 on Linux
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; ...
