A basic block is a maximal sequence of instructions that have no branches into it or out of it except at its beginning or end.