Diagnosing incomplete branch information