https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121157
--- Comment #19 from Andrew Teylu ---
(In reply to Mark Harmstone from comment #18)
> (In reply to Eric Botcazou from comment #17)
> > > As Eric said, the problem is essentially that CodeView isn't designed to
> > > accommodate Ada's type system
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108770
--- Comment #11 from Andrew Teylu ---
(In reply to Andrew Pinski from comment #10)
> Ok, with const maybe the compiler could see that but then it needs to record
> that somehow but there is no way currently.
>
Sure, and, to me, it isn't a probl
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108770
--- Comment #8 from Andrew Teylu ---
> and also add the new option on top.
Doesn't the new option just cause gcc to elucidate the existing warning a bit
more?
I think, even if gcc tries to explain a bit more, the diagnostic is still
spurious.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108770
--- Comment #6 from Andrew Teylu ---
Apologies for not testing this; I tried it on godbolt and got:
```
: In function 'init':
:10:13: error: array subscript 2 is above array bounds of 'const char
*[2]' [-Werror=array-bounds=]
10 | while (a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121157
--- Comment #11 from Andrew Teylu ---
Ah, no, I think Eric is correct in that it doesn't work at all (even if gcc
doesn't fail).
I used https://github.com/Microsoft/microsoft-pdb/blob/master/cvdump/cvdump.exe
to look at the pdb file generated w
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121157
--- Comment #10 from Andrew Teylu ---
Btw, it isn't that it _never_ works:
```
package LOCAL_IO is
function GET_NEXT return Integer;
end LOCAL_IO;
package body LOCAL_IO is
type TEXT_TYPE (LENGTH : Positive := 1) is record
null;
e
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121163
Bug ID: 121163
Summary: GNAT hang with `-g -gcodeview` (but not with just
`-g`)
Product: gcc
Version: 15.1.0
Status: UNCONFIRMED
Severity: normal
Pri
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121162
Bug ID: 121162
Summary: GNAT hang with `-gcodeview -fgnat-encodings=all` (but
not just with `-gcodeview`)
Product: gcc
Version: 15.1.0
Status: UNCONFIRMED
Seve
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121157
--- Comment #7 from Andrew Teylu ---
Yeah, so my reduced file no longer crashes if you use `-fgnat-encodings=all`.
Re-reducing Tom's original files while `-fgnat-encodings=all` still gives a
crash:
```
package LOCAL_IO is
function GET_NEXT
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121157
--- Comment #4 from Andrew Teylu ---
As a note, my version of GCC comes from
https://github.com/alire-project/GNAT-FSF-builds/releases/tag/gnat-15.1.0-2
```
Using built-in specs.
COLLECT_GCC=Z:\home\avj\gnat-x86_64-windows64-15.1.0-2\bin\gcc.ex
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121157
Andrew Teylu changed:
What|Removed |Added
CC||andrew.teylu at vector dot com
--- Comme
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118712
--- Comment #2 from Andrew Teylu ---
As a note, the code is minimised into "being invalid".
Here is a version that compiles without errors with 12.1 but still gives an ICE
on 14.2.1:
`stub.ads`:
```
package Stub is
type GenT is delta 1.0 r
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118712
Bug ID: 118712
Summary: "Storage_Error stack overflow or erroneous memory
access" with ranged types
Product: gcc
Version: 14.2.1
Status: UNCONFIRMED
Severity:
13 matches
Mail list logo
