Hello Eric,
ADC_STAT is the read only register as the flags can not be set by the software. The flags can only be cleared by the software.
This bit is cleared by writing a one to it.
ADC_STAT |= ADC_STAT_EOSI0;
Write this line in your interrupt routine, and let me know the result.
Still if it is not getting cleared, please share your ADC_init and ADC_isr code along with the complete device name which you are using.
Thanks and Regards
Arpita Agarwal