TM4C123GH6PM的ADC中断小程序怎么调都无法进入中断服务程序？

这个是我测试ADC中断服务的小程序，发现怎么调都无法进入中断服务程序，求各位指教。
void ADCinthandler(void);
int main(void) [
SysCtlClockSet(SYSCTL_SYSDIV_5|SYSCTL_USE_PLL|SYSCTL_OSC_MAIN|SYSCTL_XTAL_16MHZ);
SysCtlPeripheralEnable(SYSCTL_PERIPH_ADC0);  
ADCHardwareOversampleConfigure(ADC0_BASE, 64);
SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOE);  
GPIOPinTypeADC(GPIO_PORTE_BASE, GPIO_PIN_3);  
SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOF);  
GPIOPinTypeGPIOOutput(GPIO_PORTF_BASE, GPIO_PIN_1|GPIO_PIN_2|GPIO_PIN_3);
ADCIntClear(ADC0_BASE, 3);  
ADCSequenceConfigure(ADC0_BASE, 3, ADC_TRIGGER_PROCESSOR, 0);  
ADCSequenceStepConfigure(ADC0_BASE,3,0,ADC_CTL_CH0|ADC_CTL_IE|ADC_CTL_END);  
ADCSequenceEnable(ADC0_BASE, 3);  
IntMasterEnable();  
ADCIntEnable(ADC0_BASE,3);  
ADCIntEnableEx(ADC0_BASE,ADC_INT_SS3);
ADCProcessorTrigger(ADC0_BASE, 3);
while(1)；
]
void ADCinthandler(void) [  
ADCIntClear(ADC0_BASE, 3);  
ADCIntClearEx(ADC0_BASE,ADC_INT_SS3);  
GPIOPinWrite(GPIO_PORTF_BASE, GPIO_PIN_1|GPIO_PIN_2|GPIO_PIN_3, 2);
]
思路很简单，就是ADC发生一次中断以后，进入中断服务，红灯亮。服务程序已经加入到startup函数中