MSP432P401R: With the same code but it cannot run on MSP432 Red version launchpad

#include <stdint.h>
#include <stdbool.h>
#include <ti/devices/msp432p4xx/driverlib/driverlib.h>

void Clock_Init(void);
void GPIO_Init(void);

static uint8_t count = 0;
static bool select;

uint16_t iii = 0;

/*
 * Main function
 */
int main(void)
{
    /* Halt the watch dog timer*/
    MAP_WDT_A_holdTimer();

    /* Disable master interrupt */
    MAP_Interrupt_disableMaster();

    /* Enable FPU with lazy stacking enabled for floating point operations in ISRs */
    MAP_FPU_enableModule();
    MAP_FPU_enableLazyStacking();

    /* Initialize system clock and GPIO pins */
    Clock_Init();
    GPIO_Init();

    /* Enable sleeping on ISR exits and enables master interrupt */
    MAP_Interrupt_enableSleepOnIsrExit();
    MAP_Interrupt_enableMaster();

    /* Red LED */
    MAP_GPIO_setAsOutputPin(GPIO_PORT_P1, GPIO_PIN0);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P1, GPIO_PIN0);

    /* RGB Blue LED */
    MAP_GPIO_setAsOutputPin(GPIO_PORT_P2, GPIO_PIN2);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P2, GPIO_PIN2);

    const Timer_A_UpModeConfig upModeConfig_A3 =
    {
     TIMER_A_CLOCKSOURCE_ACLK,
     TIMER_A_CLOCKSOURCE_DIVIDER_1,
     0x07FF,
     TIMER_A_TAIE_INTERRUPT_DISABLE,
     TIMER_A_CCIE_CCR0_INTERRUPT_ENABLE,
     TIMER_A_DO_CLEAR
    };

    /* Configure timer A3 in up mode */
    MAP_Timer_A_configureUpMode(TIMER_A3_BASE, &upModeConfig_A3);
    MAP_Interrupt_enableInterrupt(INT_TA3_0);
    MAP_Timer_A_clearTimer(TIMER_A3_BASE);
    MAP_Timer_A_startCounter(TIMER_A3_BASE, TIMER_A_UP_MODE);

    while (1)
    {
        /* This peace of code cannot run if I put it here */
        if (select)
        {
            MAP_GPIO_toggleOutputOnPin(GPIO_PORT_P1, GPIO_PIN0);
            MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P2, GPIO_PIN2);
        }
        else
        {
            MAP_GPIO_toggleOutputOnPin(GPIO_PORT_P2, GPIO_PIN2);
            MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P1, GPIO_PIN0);
        }

        MAP_PCM_gotoLPM0();
    }
}

void TA3_0_IRQHandler(void)
{
    /* Clear timer A3 capture compare interrupt flag */
    MAP_Timer_A_clearCaptureCompareInterrupt(TIMER_A3_BASE, TIMER_A_CAPTURECOMPARE_REGISTER_0);

    if (count++ == 8)
    {
        select = !select;
        count = 0;
    }

    /* This peace of code can run normally if I un-comment it */
//    if (select)
//    {
//        MAP_GPIO_toggleOutputOnPin(GPIO_PORT_P1, GPIO_PIN0);
//        MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P2, GPIO_PIN2);
//    }
//    else
//    {
//        MAP_GPIO_toggleOutputOnPin(GPIO_PORT_P2, GPIO_PIN2);
//        MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P1, GPIO_PIN0);
//    }
}

/*
 * Initialize clock signals
 */
void Clock_Init(void)
{
    /* Sets operation voltage to Vcore1 and use DC-DC converter */
    MAP_PCM_setCoreVoltageLevel(PCM_VCORE1);
    MAP_PCM_setPowerState(PCM_AM_DCDC_VCORE1);

    /* Sets wait state */
    MAP_FlashCtl_setWaitState(FLASH_BANK0, 2);
    MAP_FlashCtl_setWaitState(FLASH_BANK1, 2);

    /* Set DCO centered frequency to 48MHz */
    MAP_CS_setDCOCenteredFrequency(CS_DCO_FREQUENCY_48);

    /* Initializing clock signals */
    MAP_CS_initClockSignal(CS_MCLK, CS_DCOCLK_SELECT, CS_CLOCK_DIVIDER_1 );
    MAP_CS_initClockSignal(CS_HSMCLK, CS_DCOCLK_SELECT, CS_CLOCK_DIVIDER_1 );
    MAP_CS_initClockSignal(CS_ACLK, CS_REFOCLK_SELECT, CS_CLOCK_DIVIDER_1);
}

/*
 * Initialize GPIOs
 */
void GPIO_Init(void)
{
    MAP_GPIO_setAsOutputPin(GPIO_PORT_P1, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P1, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P2, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P2, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P3, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P3, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P4, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P4, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P5, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P5, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P6, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P6, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P7, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P7, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P8, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P8, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P9, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P9, PIN_ALL16);

    MAP_GPIO_setAsOutputPin(GPIO_PORT_P10, PIN_ALL16);
    MAP_GPIO_setOutputLowOnPin(GPIO_PORT_P10, PIN_ALL16);
}

MAP_Interrupt_enableSleepOnIsrExit();

MAP_Interrupt_disableSleepOnIsrExit();