I'm posting to report a bug in driverlib/ADC.c, in the function _ADCIntNumberGet.
The statement
ui8Int = ((ui32Base == ADC0_BASE) ?
(INT_ADC0SS0_TM4C123 + ui32SequenceNum) :
(INT_ADC0SS0_TM4C123 + ui32SequenceNum));
should actually be
ui8Int = ((ui32Base == ADC0_BASE) ?
(INT_ADC0SS0_TM4C123 + ui32SequenceNum) :
(INT_ADC1SS0_TM4C123 + ui32SequenceNum));
I've spent the good part of a day tracking this down, would be nice to see it fixed.
Thanks
Matt