Guo Huai
229年に諸葛亮が再び北伐の軍を起こした時、陳式は先鋒の総大将として武都と陰平を攻略し、その功績を上げた。また、諸葛亮自身は建威を攻略し、陳式と共に当地付近に駐屯していた魏の郭淮を挟撃しようと試みた。郭淮はいったん出撃したがすぐに退却し、そのまま隴西方面から撤退した。諸葛亮・陳式とも、これを追撃しなかったという。以降、史書に記述は見当たらない。