wdt on pic with c get errors

Question

I have this:

static void ButtonDebounce(void)
{    
static uint16_t debounceCounter = 0;
// Check if only one S3 or s4 button pressed since if I have bouncing