Am I correct that basic blocks, other than the entry basic block to a function, are unreachable if has no uses, i.e., (bb->use_empty == true), or are there exceptions to that rule? Regards, Ryan