I found strange phenomenon. That is, NVIC interrupt pending registers (i.e NVIC_ISPR0 and NVIC_ICPR0) are not cleared by the reset switch on FRDM-K20D50M board.
The background is that I made a program which showed the wake up from the low power mode by RTC alarm interrupt but MCU exited from the low power mode suddenly after entering the mode for every second time. In the odd times, it succeeded. In the even times, it failed. I analyzed it and found NVIC interruts were pending even after reset. When I added NVIC interrupt clear code in the RTC setting routine, such slip phenomenon became not happened.
Can anyone answer that it is the correct behavior or the board problem?