Flow analysis is when the compiler tries to find out which code can be reached under which circumstances. Or at all.