Safe? No compiler is going to catch badly designed code, or intentionally backdoored code. Memory leaks as well. Compilers are the ground floor of validation and the least of your problems with AI generated code.
A mythical compiler might catch unsafe code
Yes? Does that contradict anything I said?