In my compiler I have a generic linking function that links current block to next block via an unconditional branch but if the current block is already terminated then it doesn't put the link. I cannot see a way to detect if the current block is already terminated. Regards Dibyendu