어떤 C컴파일러가 자료형 검사를 코드에 끼워넣고 자료형이 틀렸을때 명시적인 오류를 발생시키나요? 그런 구현체가 있으면 예를 하나만 들어 주십시오

C는 그 과정에 타입체크랄게 없습니다. 부동소수 자료를 정수로 읽는다고 아무 문제가 없잖아요? 동적타입인게 아니고 그냥 위험한거죠

타입체크를 런타임에 한다고 동적타입이면 C도 동적타입 언어 인가요?

네 C가 타입체크를 런타임에 하면 동적타입 언어입니다.
그렇지 않기 때문에 정적 타입입니다.

void 포인터는 그냥 원래 자료형을 알 수 없는 raw 포인터입니다. 해당 포인터가 가르키는 주소에 어떤 타입이 있는지는 알 수 없습니다.