sizeofDereferencedVoidPointer
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz
frama-c-25.0-beta-Manganese/tests/syntax/sizeof_void.c:16:11: portability: '*p' is of type 'void', the behaviour of 'sizeof(void)' is not covered by the ISO C standard. [sizeofDereferencedVoidPointer]
ftp://ftp.de.debian.org/debian/pool/main/h/haproxy/haproxy_3.4.3.orig.tar.gz
haproxy-3.4.3/src/errors.c:202:39: portability: '*area' is of type 'void', the behaviour of 'sizeof(void)' is not covered by the ISO C standard. [sizeofDereferencedVoidPointer]