阳石

即荡石。在今四川渠县东北七里八濛山一带。东晋常璩《华阳国志·刘先主志》：建安二十年(215)，“(张)郃数犯掠巴界，先主令张飞等进军宕渠之蒙头拒郃，相持五十余日。飞从他道邀郃战于阳石，遂大破郃军，郃失马，缘山独与麾下十余人从间道还南郑”。