Hello.
I had the same problem when I was working on a project.
I use CCS for debugging. I stop feeding dog in CPU2, the process will stop automatically. After using the "CPU Reset" and "Restart" buttons on CCS to reload the program (without power failure) again, I can get that the WDRSn bit (bit 2) is 1 in the SYSCTL_O_RESC register.
This does correspond to the watchdog reset problem. As mentioned in section 4.10.11.13 of the technical manual, I believe that after the chip is repowered, even though the SYSCTL_O_RESC register will be reset, bit 22 in "CPU2 Boot ROM Status" at address 0x0000 0002 should be set to 1 to reflect the CPU2 watchdog reset.
But in my actual test, after the chip was powered back on, I read the "CPU2 Boot ROM Status", but bit 22 didn't match expectations.
I was very confused