Most likely it will not be corrupted. But, if ISR has been called itThis logic would apply to _every_ watchdog driver implementing interrupts.
means
something went wrong, and watchdog was not kicked for the time
programmed as
"timeout". So, probably we should be extra careful.
Actually, it would apply to _all_ kernel code, and the logic could be used
to introduce hyper-defensive programming all over the place, bloat the
kernel
and ultimately make it all but unusable. I do not believe in such
programming
in an operating system kernel.
On top of that, the assumption that the kernel would be still sane enough
to call the interrupt handler, but not sane enough to actually execute it,
seems to be a bit far-fetched.