CCS/TM4C1294NCPDT: (POR) Power on Reset

I decided to try to use the watchdog just to trigger the POR, I know it is not a usual way to do this, but look what I did. I set up the following function:

        void POR_RESET(void) {
            ROM_SysCtlPeripheralEnable(SYSCTL_PERIPH_WDOG0);
            ROM_IntEnable(INT_WATCHDOG);
            ROM_WatchdogReloadSet(WATCHDOG0_BASE, g_ui32SysClock);
            ROM_WatchdogResetEnable(WATCHDOG0_BASE);
            ROM_WatchdogEnable(WATCHDOG0_BASE);
            while(1)
            {
                /* loop */
            }
        }

and in the handler function, I just left it empty:

void WatchdogIntHandler(void){
    /* empty */
}

It works! My question is, is there a problem with this solution?

Remembering that I don't use watchdog in my code.