また『後漢書』によると、229年に諸葛亮が再び北伐の軍を起こした時、陳式を先鋒の総大将として武都と陰平を攻略させ、その功績を挙げた.
また『後漢書』によると、