蜀に亡命してからは、姜維の参謀として北伐に幾度となく参加し、景耀5年(262年)冬10月、第八回目の戦いで空城の計にかかり戦死する設定である.
景耀5年(262年)冬10月、