Compiler output is deterministic based on input code - which is typically reviewed before compiling by someone(s) who will be held accountable for it.