魏军既还，大洪率氐、蜀数千，围逼关城，胡三省云：即白水关城。为魏益州刺史傅竖眼遣军所破。魏益州，时治晋寿。孝明既立，竖眼屡请解州，乃以元法僧代之。法僧既至，大失民和。葭萌人任令宗，因众之患魏也，杀魏晋寿大守，以城归款。益州刺史鄱阳王恢，遣齐帅众三万迎令宗。克葭萌、小剑诸戍。进围州城。
明年，魏孝明帝熙平元年。五月，魏驿征傅竖眼于淮南，仍以为益州刺史。
七月，齐兵少，不利，引还。葭萌复没于魏。小剑、大剑诸戍，亦捐城走。鄱阳王与张齐，较诸前人，差能经略，然蜀事败坏已久，亦非一时所能振起也。
李苗之劝魏取蜀也，曰：“巴、蜀孤悬，去建业辽远，偏兵独戍，溯流十千。牧守无良，专行劫剥。官由财进，狱以货成。士民思化，十室而九。若命一偏将，可传檄而定。”其说略与邢峦同。