1. 2012-08-06 [Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: gcc-bugs charlet at gcc dot 2. 2012-08-06 [Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: gcc-bugs charlet at gcc dot 3. 2012-07-31 [Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: gcc-bugs mikpe at it dot uu 4. 2012-07-31 [Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: gcc-bugs mikpe at it dot uu 5. 2012-07-30 [Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: gcc-bugs charlet at gcc dot 6. 2012-07-30 [Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: gcc-bugs rguenth at gcc dot