Delphi - try finally block is guaranteed by compiler to be executed correctly?

Question

I know this was discussed on other topics also, what I'm asking is exactly the title of this question.

Is there such case when try/finally the finally won't execute?

 try
  //some error here
 finally
  //code that MUST be executed
 end;

I'm not talking about how try..except/finally blocks must be used, I'm just asking if this could happen.

LE: Application.Terminate/unplug your computer are particular cases.

Answer 1

try..finally guarantees that code in the finally block will execute regardless of any exception occuring in the protected block. This of course doesn't apply if the process is killed before the finally block can execute, e.g. by TerminateProcess or turning the power off. An endless loop in the protected block may also prevent the finally block from executing.

Answer 2

If the power is lost (for instance, if you unplug the computer and it has no battery and is not connected to a UPS), it is very possible that the finally block will not be run. A major OS or driver malfunction (such as a BSOD) might also cause this. However, the entire idea with the try..finally construct is that the finally block is to be run even if an exception (of any kind) is raised inside the try block. The finally block will even run if there is an exit statement inside try block.