III.1.7.6 Branch verification constraints The target of all branch instruction shall be a valid branch target (see §III.1.7.2) within the method holding that branch instruction.