[Bug ada/116089] New: GNATprove raises Program_Error for loop frame condition when calling function with Side_Effects

2024-07-25 Thread cthowie at netzero dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116089 Bug ID: 116089 Summary: GNATprove raises Program_Error for loop frame condition when calling function with Side_Effects Product: gcc Version: unknown Status: UNCONFIRMED

[Bug ada/106318] New: ICE when using 'Range in Ada22 Iterated Component Association

2022-07-15 Thread cthowie at netzero dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106318 Bug ID: 106318 Summary: ICE when using 'Range in Ada22 Iterated Component Association Product: gcc Version: 12.1.0 Status: UNCONFIRMED Severity: normal

[Bug ada/104703] New: GNAT 11.2 exception traceback output is mostly garbled on Intel x64 (MSYS2)

2022-02-26 Thread cthowie at netzero dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104703 Bug ID: 104703 Summary: GNAT 11.2 exception traceback output is mostly garbled on Intel x64 (MSYS2) Product: gcc Version: 11.2.0 Status: UNCONFIRMED Severity: