EK-TM4C123GXL: Calling Semaphore_post() inside an ADCInterrupt causes the program to loop infinitly in RTOS

Hello,

in the following of the work done in this THREAD I now have this code inside the adc interrupt handler :

 switch(ADCComparatorIntStatus(ADC0_BASE)){

    case 0x00000001: //CMP0
        ADC_FLAG_1=0x01;
        Semaphore_post(S_Handle_UnlockSEND);
        GPIO_toggle(Board_LED2);
        break;
    case 0x00000002: //CMP1
        ADC_FLAG_1=0x02;
        Semaphore_post(S_Handle_UnlockSEND);
        GPIO_toggle(Board_LED1);  //just for debug
        break;
    case 0x00000003: //CMP1
            ADC_FLAG_1=0x03;
            Semaphore_post(S_Handle_UnlockSEND);
            GPIO_toggle(Board_LED0);  //just for debug
            break;
    default :
        break;
    }
    ADCComparatorIntClear(ADC0_BASE, 0x000000ff);
    //TimerIntClear(TIMER2_BASE, TIMER_TIMA_TIMEOUT);         // must clear timer flag FROM timer
    ADCIntClear(ADC0_BASE,0);

But aparently the Semaphore_post() causes the program to crash. Is it because i am mixing TIRTOS with TIVAWARE ?