Re: Why does the PL/pgSQL compiler do this?

Here is the complete function, but all you need to look at is the exception block. (I didn't write this code) :-)  I will ask the question after the code.

​[...]​

        RETURN TRUE;

EXCEPTION WHEN OTHERS THEN

        RAISE EXCEPTION '% %', SQLERRM, SQLSTATE;

        ROLLBACK;

        RETURN FALSE;

END;

$BODY$

  LANGUAGE plpgsql VOLATILE

  COST 100;

So, here is the question. Why does the compiler not catch:

1) ROLLBACK; is not a valid PL/pgSQL command

2) ROLLBACK; and RETURN FALSE; can never be reached