[EMAIL PROTECTED] writes:
> AND diskfs_catch_exceptions fails (this is a rather strong assumption, I
> don't know under which circumstances it might happen).
diskfs_catch_exception takes its return value from setjmp() so it
can't fail when it first returns.
It can return a nonzero value later if there's a fault between
diskfs_catch_exception and diskfs_end_catch_exception. It seems
the fault could only happen in ext2_getblk. When that is called,
end_block has already been incremented. So the code is safe.
