Unless there is a comment "this code is actually safe, it's done this way for optimizations", or a variable called "thisCodeIsSafeItLooksWeirdForPerformance" and the LLM just ignores the backdoors.

This statement is not more corrcect than claiming the halting problem is solvable thanks to LLMs.