死循环、无限递归都是逻辑错误,编译器都不检查, 也没有义务进行检查
数组越界一般也不检查,但部分编译器可能会给出警告,比如xCode
编译器只能检查语法、链接等方面的错误,逻辑问题应该有程序员负责