[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
: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: cthowie at netzero dot net CC: dkm at gcc dot gnu.org Target Milestone: --- PLATFORM: GCC 14.1 toolchain on Windows 10 Intel x64 using

[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
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: cthowie at netzero dot net Target Milestone: --- PLATFORM: GCC 12.1.0 toolchain on Windows 10 Intel x64 using MSYS2 (Mingw64). ISSUE: the use of 'Range sometimes causes an internal

[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
: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: cthowie at netzero dot net Target Milestone: --- PLATFORM: GCC 11.2 Revision 8 toolchain for MSYS2 on Windows 10 Intel x64 CPU. Note GNAT FSF 8.2 Revision 1 compiler does

[Bug ada/95452] New: Overflow Bug in GNAT Heapsort implementations

2020-05-31 Thread cthowie at netzero dot net
: ada Assignee: unassigned at gcc dot gnu.org Reporter: cthowie at netzero dot net Target Milestone: --- TOOLCHAINS: GCC GNAT FSF 8.2 and 10.1 (perhaps also 9.2 and others (?), I have 8.2 and 10.1). ISSUE: All 3 "GNAT" implementations of Heapsort as found in the '

[Bug ada/92362] New: Compiler generates 2 function calls in a 'with Address' aspect specification that uses a function

2019-11-04 Thread cthowie at netzero dot net
Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: cthowie at netzero dot net Target Milestone: --- PLATFORM USED: GCC 9.2 toolchain on Windows 10 Intel x64 using MSYS2 (mingw64). Note the GNAT FSF 8.2

[Bug ada/87973] New: ICE with pragma Discard_Names and GCC optimisation for x64

2018-11-11 Thread cthowie at netzero dot net
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: cthowie at netzero dot net Target Milestone: --- Created attachment 44985 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44985=edit Test.adb file; see comment for other file 'Test.