After power-up, with ECC checking disabled, executing the WFI instruction in the main function works normally and is not prematurely woken up. However, when ECC checking is enabled, it is indeed possible to observe double-bit errors in the ECC status after entering main, and subsequent execution of the WFI instruction fails, being continuously woken up.
main
So my question is: why do ECC errors cause WFI to fail? Do ECC errors generate interrupts?