史書記載
冬十二月，漢嘉太守
黃元聞先主疾不豫，舉兵拒守。...三月，黃元進兵攻臨邛縣。遣將軍
陳曶討元，元軍敗，順流下江，為其親兵所縛，生致成都，斬之。
漢嘉太守黃元素為
諸葛亮所不善，聞先主疾病，懼有後患，舉郡反，燒臨邛城。時亮東行省疾，成都單虛，是以元益無所憚。洪即啟太子，遣其親兵，使將軍
陳曶、
鄭綽討元。眾議以為元若不能圍成都，當由
越巂據南中，洪曰：“元素性凶暴，無他恩信，何能辦此？不過乘水東下，冀主上平安，面縛歸死；如其有異，奔吳求活耳。敕
曶、綽但於南安峽口遮即便得矣。”
曶、綽承洪言，果生獲元。
