[Bug ada/114640] ICE on 'elsif' with complex function call

2024-04-08 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114640 --- Comment #1 from simon at pushface dot org --- It turns out that the error does not occur if I change if First_Term = Invalid_Node_Access then -- Empty or all virtual return

[Bug ada/114640] New: ICE on 'elsif' with complex function call

2024-04-08 Thread simon at pushface dot org via Gcc-bugs
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 57902 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57902=edit Code as requested With GCC 12.2.0, get a

[Bug ada/114636] New: Actual does not match formal in generic instantiation

2024-04-08 Thread simon at pushface dot org via Gcc-bugs
Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 57899 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57899=edit example.adb Compiler can’t ma

[Bug ada/106037] ICE with Aggregate aspect

2024-03-13 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106037 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/111909] Filename case sensitivity defaulted wrongly on macOS

2024-03-13 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111909 simon at pushface dot org changed: What|Removed |Added Resolution|--- |FIXED Status

[Bug ada/114127] New: [14 regression] Assert_Failure in nlists.adb

2024-02-27 Thread simon at pushface dot org via Gcc-bugs
: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 57550 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57550=edit Reproducer This was originally fo

[Bug ada/104342] ICE with -gnata -fcallgraph-info=su

2024-02-25 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104342 --- Comment #5 from simon at pushface dot org --- That thought occurred to me, but does that mean that if this code is compiled with a release branch Bad Things will happen? (I guess the code would probably have to get executed for that to occur)

[Bug ada/104342] [14 regression] ICE with -gnata -fcallgraph-info=su

2024-02-25 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104342 simon at pushface dot org changed: What|Removed |Added Attachment #52327|0 |1 is obsolete

[Bug ada/104342] [14 regression] ICE with -gnata -fcallgraph-info=su

2024-02-25 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104342 simon at pushface dot org changed: What|Removed |Added Summary|ICE with -gnata |[14 regression] ICE

[Bug ada/113979] New: Allocation of 2D array fails when Dynamic Predicate applied to type

2024-02-18 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 57455 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57455=e

[Bug ada/113877] gnatchop -c puts gnat.adc in the current working directory

2024-02-15 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113877 --- Comment #3 from simon at pushface dot org --- I’ve now found the related documentation[1]. I think the conclusion is that gnatchop is working-as-designed, and that this PR should be marked WONTFIX (or INVALID), as seems best. Sorry

[Bug ada/113877] gnatchop -c puts gnat.adc in the current working directory

2024-02-14 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113877 --- Comment #2 from simon at pushface dot org --- I came across -c in ACATS[1]. I do agree it’s an uncommon usage, and indeed I can’t think of other reasons to do it; perhaps it’s to support porting from other compilers? (if that’s something

[Bug ada/113877] New: gnatchop -c puts gnat.adc in the current working directory

2024-02-11 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 57387 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57387=e

[Bug ada/104354] ICE with Partition_Elaboration_Policy (Sequential)

2024-01-09 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104354 --- Comment #3 from simon at pushface dot org --- It happens in 12.2.0, doesn’t happen in 13.1.0 or 13.2.0.

[Bug ada/112781] New: [13?/14 regression] ICE in generic instantiation

2023-11-30 Thread simon at pushface dot org via Gcc-bugs
: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 56727 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56727=edit Reproducer: to be gnatchopped

[Bug testsuite/112529] New: ACATS test c250002 uses illegal filename on APFS filesystem

2023-11-14 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: testsuite Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- This test checks that characters in Latin-1 above ASCII.Del can be used in identifiers, character literals and strings. Some

[Bug ada/112461] New: [14 regression] Simple return inside extended return loses updates to return object value

2023-11-09 Thread simon at pushface dot org via Gcc-bugs
Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- In a complicated extended return[1] with this structure

[Bug ada/112446] New: Switch -gnatyz included in -gnatyg

2023-11-08 Thread simon at pushface dot org via Gcc-bugs
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 56538 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56538=edit Demonstrator "gnatmake --help" states

[Bug ada/111909] New: Filename case sensitivity defaulted wrongly on macOS

2023-10-21 Thread simon at pushface dot org via Gcc-bugs
Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 56167 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56167=edit Demo of code to determine c

[Bug ada/81114] GNAT mishandles filenames with UTF8 chars on case-insensitive filesystems

2023-10-18 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81114 --- Comment #9 from simon at pushface dot org --- Created attachment 56140 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56140=edit C demonstrator As noted in comment 8, the C compiler doesn’t have a problem with finding a f

[Bug ada/81114] GNAT mishandles filenames with UTF8 chars on case-insensitive filesystems

2023-10-18 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81114 --- Comment #8 from simon at pushface dot org --- I think I’d forgotten that compiling páck3.ads on its own, rather than as part of the closure, was the way to demonstrate this problem. It was NOT fixed in darwin19 (it’s still present

[Bug ada/55119] Ada.Directories only handles files under 2GB

2023-10-17 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55119 --- Comment #2 from simon at pushface dot org --- I think this is OBE: fixed 2014-08-01, r213412, by making attr->file_length __int64. The comment in adaint.c is still wrong! Just tested on macOS with a 5GB download.

[Bug ada/50502] GNAT fails to compile a modification of B37101A ACATS test

2023-10-17 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50502 --- Comment #3 from simon at pushface dot org --- The sample compiles without error with GCC 13.1.0 and 14.0.0 20231008. Close as fixed?

[Bug ada/111813] New: Inconsistent limit in Ada.Calendar.Formatting

2023-10-14 Thread simon at pushface dot org via Gcc-bugs
: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 56107 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56107=edit Demonstrator The Value functio

[Bug target/111481] MacOS, linker issues with Xcode 15

2023-09-19 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111481 --- Comment #2 from simon at pushface dot org --- A fix for the Ada issue is to link with the classic linker: $ gnatmake hello -largs -Wl,-ld_classic gcc -c hello.adb gnatbind -x hello.ali gnatlink hello.ali -Wl,-ld_classic $

[Bug target/111481] MacOS, linker issues with Xcode 15

2023-09-19 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111481 --- Comment #1 from simon at pushface dot org --- The -macosx_version_min issue appears to have been resolved in GCC 14.0.0 20230820. The Ada linking issue remains.

[Bug target/111481] New: MacOS, linker issues with Xcode 15

2023-09-19 Thread simon at pushface dot org via Gcc-bugs
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Running on a Mac mini with Apple silicon (M1), with Darwin 22.6.0 (macOS 13.5.2) and Command Line Tools version 15.0.0.0.1.1694021235. The compiler is GCC 13.1.0, for x86_64-apple

[Bug ada/81114] GNAT mishandles filenames with UTF8 chars on case-insensitive filesystems

2023-09-17 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81114 --- Comment #6 from simon at pushface dot org --- (In reply to simon from comment #1) > Further: > > $ GNAT_FILE_NAME_CASE_SENSITIVE=1 gnatmake -c p*.ads > gcc -c páck3.ads > páck3.ads:1:10: warning: file name does not match un

[Bug ada/88610] ICE with new ACATS test c452003

2023-08-30 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88610 --- Comment #4 from simon at pushface dot org --- This problem has been fixed for some time now - I think in GCC 11.

[Bug target/107860] Compilation failure, ambiguous fisttp

2023-07-05 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107860 --- Comment #9 from simon at pushface dot org --- (In reply to Andrew Pinski from comment #8) > You need to do "arch -x86_64 bash" to this build really. > Otherwise you end up with the arm64 assembler. > So if you start with t

[Bug bootstrap/110467] Bootstrap with Ada enabled fails with --enable-host-pie

2023-07-05 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110467 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 --- Comment #7 from simon at pushface dot org --- I *can* reproduce with /opt/gcc-13.1.0-aarch64/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatwa -gnatw.X -gnatVa -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/108157] [12/13/14 regression] object subtype doesn't statically match designated subtype

2023-05-10 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108157 --- Comment #2 from simon at pushface dot org --- Still present in 13.1.0.

[Bug ada/108801] ICE, task’s secondary_stack_size from parent discriminant

2023-04-26 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108801 --- Comment #3 from simon at pushface dot org --- Fixed in GCC 13.1.0.

[Bug ada/109472] New: [13 regression] False unread/unassigned warning for variable in local package

2023-04-11 Thread simon at pushface dot org via Gcc-bugs
: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 54830 --> https://gcc.gnu.org/bugzilla/attachment.cgi

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-07 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #19 from simon at pushface dot org --- (In reply to avieira from comment #15) > Simon, I can't compile your minimal reproducer, first it complains about > missing the body keyword, so I added that, but then it complains

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-06 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #13 from simon at pushface dot org --- Not sure that it’ll make any difference, but I managed to slim the reproducer down to a pure set of data declarations, no user code at all. It’s the very last declaration (TIMx_CCMRx_Lower_Half

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-06 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #12 from simon at pushface dot org --- Not sure that it’ll make any difference, but I managed to slim the reproducer down to a pure set of data declarations, no user code at all. It’s the very last declaration (TIMx_CCMRx_Lower_Half

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-06 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #11 from simon at pushface dot org --- Created attachment 54597 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54597=edit Minimal reproducer

[Bug ada/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-03 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #4 from simon at pushface dot org --- (In reply to Richard Biener from comment #3) > Eh, I'm hoping for a C testcase ... what's the actual ICE? This is an LLDB session -- hope that helps $ lldb /opt/gcc-13-20230226/libexec/

[Bug ada/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-03 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 simon at pushface dot org changed: What|Removed |Added Target||x86_64-apple-darwin

[Bug ada/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-03 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #1 from simon at pushface dot org --- Created attachment 54576 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54576=edit Reproducer

[Bug ada/109005] New: [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-03 Thread simon at pushface dot org via Gcc-bugs
: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: ---

[Bug ada/108801] New: ICE, task’s secondary_stack_size from parent discriminant

2023-02-15 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 54464 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54464=edit Reprodu

[Bug ada/108157] New: [12/13 regression] object subtype doesn't statically match designated subtype

2022-12-17 Thread simon at pushface dot org via Gcc-bugs
Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 54118 --> https://gcc.gnu.org/bugzilla/attachment.cgi

[Bug ada/68849] Bug box when using a type with static predicate as formal parameter of generic procedure

2022-12-15 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68849 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug target/107860] Compilation failure, ambiguous fisttp

2022-11-25 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107860 --- Comment #6 from simon at pushface dot org --- The situation with aarch64-apple-darwin vs x86_64-apple-darwin isn't I think quite like the standard cross-compilation scenario, because of Apple's Rosetta x86_64 emulation and the fact that all

[Bug target/107860] Compilation failure, ambiguous fisttp

2022-11-24 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107860 --- Comment #3 from simon at pushface dot org --- Created attachment 53961 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53961=edit gcc/config.log As requested (this time, sorry about previous attempt)

[Bug target/107860] Compilation failure, ambiguous fisttp

2022-11-24 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107860 --- Comment #2 from simon at pushface dot org --- Created attachment 53960 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53960=edit gcc/config.log As requested

[Bug bootstrap/107860] New: Compilation failure, ambiguous fisttp

2022-11-24 Thread simon at pushface dot org via Gcc-bugs
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Building the snapshot gcc-13-20221120 on macOS 13 (actually an aarch64 machine, but using x86_64-apple-darwin21 compiler under Rosetta) with Command Line Tools 14.1. Source

[Bug bootstrap/107568] New: Bootstrap failure on macOS 12.6 (monterey)

2022-11-08 Thread simon at pushface dot org via Gcc-bugs
: bootstrap Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- GCC 13-20221030. With Command Line Tools 14.1.0.0.1.1663981106, the following failures seen in stage 2. Bootstrap compiler: 12.2.0. /Volumes/Miscellaneous1/src/gcc-13

[Bug ada/107536] [12/13 regression] Wrong 'not referenced' warning on renamed variable

2022-11-08 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107536 --- Comment #1 from simon at pushface dot org --- Also present in GCC 13-20221030.

[Bug ada/107536] New: [12 regression] Wrong 'not referenced' warning on renamed variable

2022-11-05 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 53834 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53834=edit Demonstrator If a record has asp

[Bug target/106961] Testsuite failures after Command Line Tools update to v14

2022-09-28 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106961 --- Comment #6 from simon at pushface dot org --- Installing the Command Line Tools 14.1 beta 3 fixes this problem.

[Bug target/106961] Testsuite failures after Command Line Tools update to v14

2022-09-20 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106961 --- Comment #5 from simon at pushface dot org --- I used the feedback app to submit FB11552589; as a first-timer I’m unsure whether I’ve done it right.

[Bug target/106961] Testsuite failures after Command Line Tools update to v14

2022-09-20 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106961 --- Comment #3 from simon at pushface dot org --- Problem still present in Xcode 4.1beta.

[Bug target/106961] Testsuite failures after Command Line Tools update to v14

2022-09-18 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106961 --- Comment #2 from simon at pushface dot org --- For the moment, installing Command Line Tools version 13(.4) fixes this problem (people using Xcode need to revert that). I guess the long-term solution will depend on whether the missing

[Bug target/106961] New: Testsuite failures after Command Line Tools update to v14

2022-09-17 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- On re-running 'make check-acats', I got 37 fails (can’t remember what the count was before the change that triggered this, think

[Bug ada/105303] New: Assertion_Policy (Pre => Ignore) executes precondition

2022-04-18 Thread simon at pushface dot org via Gcc-bugs
P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- System.Generic_Array_Operations starts with -- Preconditions in this unit are meant for analysis only, not for run-time -- checking, so that the expec

[Bug ada/61027] gnatcmd gets SIGABRT during exception handling

2022-03-30 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61027 --- Comment #7 from simon at pushface dot org --- I think we should close this: no such problem with GCC 11.2.0 on Darwin 21.4.0.

[Bug ada/89583] GNAT.Sockets.Bind_Socket fails with IPv4 address

2022-03-30 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89583 --- Comment #4 from simon at pushface dot org --- I just ran "make check-gnat" with /Volumes/Miscellaneous1/x86_64/gcc/gcc/gnatmake version 12.0.1 20220311 (experimental) (x86_64-apple-darwin21), with only two fails: FAIL: gnat.dg

[Bug ada/63675] Non-confirming aspect doesn’t fail

2022-03-30 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63675 --- Comment #2 from simon at pushface dot org --- Not sure when this was fixed, but OK in 11.2.0: $ /opt/gcc-11.2.0/bin/gnatmake -c -u -f union.ads gcc -c union.ads union.ads:15:06: warning: discriminated record has no direct equivalent in C

[Bug ada/80869] Ada.Directories is missing Name_Case_Equivalence

2022-03-30 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80869 --- Comment #1 from simon at pushface dot org --- This was fixed 4 years ago.

[Bug c/104871] New: macosx-version-min wrong for macOS >= Big Sur (darwin20)

2022-03-10 Thread simon at pushface dot org via Gcc-bugs
mal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 52603 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52603=edit Patch, discards minor version This is the sam

[Bug ada/104751] New: Array aggregates using parens aren’t obsolescent

2022-03-02 Thread simon at pushface dot org via Gcc-bugs
: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Compiling procedure New_Syntax is T : array (1 .. 5) of Integer; begin T := (1, 2, 3, 4, 5); end New_Syntax; with -gnat2022 -gnatwj gives

[Bug ada/94181] Misidentified dangling reference in container implementation

2022-02-28 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94181 --- Comment #1 from simon at pushface dot org --- Fixed in 10.1.0 (also OK in 11.2.0, 12.0.1)

[Bug ada/99360] [12 regression] ICE in generalized iteration

2022-02-12 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99360 --- Comment #9 from simon at pushface dot org --- In gcc 12.0.1 of 20220128, we get $ gnatmake -c -u -f iteration.adb gcc -c iteration.adb a-stream.ads:82:04: error: construct not allowed in configurable run-time mode a-stream.ads:82:04: error

[Bug ada/104354] ICE with Partition_Elaboration_Policy (Sequential)

2022-02-02 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104354 --- Comment #1 from simon at pushface dot org --- Created attachment 52334 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52334=edit GCC 12-compatible RTS

[Bug ada/104354] New: ICE with Partition_Elaboration_Policy (Sequential)

2022-02-02 Thread simon at pushface dot org via Gcc-bugs
Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 52333 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52333=edit Demonstrator (needs RTS) The attached ravenscar-sfp-stm32f4.zip conta

[Bug ada/104342] New: ICE with -gnata -fcallgraph-info=su

2022-02-02 Thread simon at pushface dot org via Gcc-bugs
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 52327 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52327=edit Requested source files I originally found this error compiling for STM32F4, using both ravens

[Bug ada/104258] New: [11/12 regression] Generic formal ">" used incorrectly

2022-01-27 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Host: x86_64-apple-darwin15 Target: x86_64-apple-darwin15 Build: x86_64-apple-darwin15 Created attachment 5230

[Bug ada/70867] [9/10/11/12 regression] access discriminant in return aggregate wrongly detected as dangling

2021-07-31 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70867 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/86916] Constraint_Error erroneous memory access instead of error

2021-06-01 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86916 --- Comment #10 from simon at pushface dot org --- This was fixed in 10.1.0, and is still fixed in 11.1.0: $ /opt/gcc-10.1.0/bin/gnatmake -c -u -f -gnatl *.adb gcc -c -gnatl animation.adb [...] ==Error messages for source file

[Bug ada/99802] New: [11 regression] Assignment of aggregate done component-by-component

2021-03-28 Thread simon at pushface dot org via Gcc-bugs
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 50481 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50481=edit Demonstrator, with output assembler In

[Bug ada/99360] [11 regression] ICE in generalized iteration

2021-03-04 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99360 --- Comment #3 from simon at pushface dot org --- (In reply to Eric Botcazou from comment #2) > Created attachment 50297 [details] > Stopgap fix > > To be applied on the 11 branch only. Worked a treat! on both x86_64 (

[Bug ada/99020] ICE in record containing discriminated accesses

2021-03-04 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99020 --- Comment #5 from simon at pushface dot org --- (In reply to Eric Botcazou from comment #4) > This should compile now. It does, indeed. Thanks!

[Bug ada/99360] New: ICE in generalized iteration

2021-03-03 Thread simon at pushface dot org via Gcc-bugs
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 50292 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50292=edit Reproducer This is a regression from GCC 10. It arises when compiling a generalized iterat

[Bug ada/99020] New: ICE in record containing discriminated accesses

2021-02-09 Thread simon at pushface dot org via Gcc-bugs
: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 50148 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50148=edit Files as requested in bug box This appears to be caused by the compone

[Bug ada/95959] Error in conversion from UTF16 to UTF8

2020-06-29 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95959 --- Comment #1 from simon at pushface dot org --- Created attachment 48800 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48800=edit Patch

[Bug ada/95959] New: Error in conversion from UTF16 to UTF8

2020-06-29 Thread simon at pushface dot org
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 48799 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48799=edit Demonstration There's an error in converting from UTF16 to UTF8 for code points in U+10

[Bug ada/94181] New: Misidentified dangling reference in container implementation

2020-03-15 Thread simon at pushface dot org
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 48035 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48035=edit Reproducer This arose in a simple implementat

[Bug libgcc/86215] Exceptions are broken on OSX when linking with -static-libgcc

2019-05-14 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86215 --- Comment #5 from simon at pushface dot org --- $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/opt/gcc-9.1.0/bin/../libexec/gcc/x86_64-apple-darwin15/9.1.0/lto-wrapper Target: x86_64-apple-darwin15 Configured with: /Volumes

[Bug ada/90051] Error in spec comments - g-caliio.ads (%Z)

2019-04-22 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90051 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/89556] error when using "with Priority"

2019-04-22 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89556 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/89583] GNAT.Sockets.Bind_Socket fails with IPv4 address

2019-03-23 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89583 --- Comment #3 from simon at pushface dot org --- I just rebuilt r269886 on x86_64-apple-darwin15 (with --disable-bootstrap) and it passed: PASS: gnat.dg/socket2.adb (test for excess errors) PASS: gnat.dg/socket2.adb execution test Also

[Bug ada/89583] New: GNAT.Sockets.Bind_Socket fails with IPv4 address

2019-03-04 Thread simon at pushface dot org
: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Created attachment 45886 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45886=edit Reproducer On Darwin 18.2.0 (Mojave), gcc (GCC) 9.0.1 20190219 (experimen

[Bug libgcc/86215] Exceptions are broken on OSX when linking with -static-libgcc

2019-03-02 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86215 --- Comment #2 from simon at pushface dot org --- (In reply to simon from comment #1) Same results with gcc version 9.0.1 20190219 (experimental) (GCC) on Darwin 18.2.0. $ otool -L a.out a.out: /usr/lib/libSystem.B.dylib (compatibility

[Bug ada/50502] GNAT fails to compile a modification of B37101A ACATS test

2019-01-17 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50502 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/88610] ICE with new ACATS test c452003

2019-01-15 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88610 --- Comment #2 from simon at pushface dot org --- (In reply to Eric Botcazou from comment #1) > There is probably little value in filling PRs against new ACATS tests though. I can see this argument if you mean that a new ACATS test mi

[Bug ada/88610] New: ICE with new ACATS test c452003

2018-12-27 Thread simon at pushface dot org
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Host: x86_64-apple-darwin15 Target: x86_64-apple-darwin15 Build: x86_64-apple-darwin15 Created attachment 45290 --> https://gcc.gnu.org/bugzi

[Bug target/80204] macosx-version-min wrong for macOS Sierra 10.12.3

2018-11-20 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80204 --- Comment #6 from simon at pushface dot org --- Selected output from "gcc empty.c -v -Wl,-v" on macOS 10.14.1 (darwin 18.2.0), with gcc 9.0.0 20181103 built on x86_64-apple-darwin15, correctly showing -mmacosx-version-m

[Bug ada/87688] [9 regression] ACATS cb1010a cb1010d failure

2018-11-05 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87688 --- Comment #5 from simon at pushface dot org --- Bug no longer present in gcc version 9.0.0 20181103 (experimental) (GCC). r265766.

[Bug ada/25844] [7/8/9 regression] ICE on overloaded renames

2018-11-02 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25844 --- Comment #21 from simon at pushface dot org --- This bug was fixed in GCC 5 (5.2.0, x86_64-apple-darwin15) and is still fixed up to GCC 9.0.0 20180927.

[Bug ada/87688] [9 regression] ACATS cb1010a cb1010d failure

2018-10-23 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87688 --- Comment #4 from simon at pushface dot org --- Eric is right: r264896 (OK), r264897 (FAIL).

[Bug ada/87688] [9 regression] ACATS cb1010a cb1010d failure

2018-10-23 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87688 --- Comment #3 from simon at pushface dot org --- So far I have reached r264892 (PASS), r264901 (FAIL).

[Bug ada/87688] New: [9.0 regression] ACATS cb1010a cb1010d failure

2018-10-22 Thread simon at pushface dot org
Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org Target Milestone: --- Host: x86_64-apple-darwin15 Created attachment 44879 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44879=edit Extract from acats suite With r265267, the

[Bug ada/84142] Implicit_Dereference with Generic Formal Incomplete Types

2018-10-14 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84142 --- Comment #4 from simon at pushface dot org --- Test case 3 fails with 9.0.0 20180927: +===GNAT BUG DETECTED==+ | 9.0.0 20180927 (experimental) (x86_64-apple-darwin15) Assert_Failure

[Bug ada/84198] Illegal program accepted, storing an anonymous access-to-subprogram value

2018-10-14 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84198 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org

[Bug ada/85380] gnatbind fails with small executable & restricted runtime

2018-10-02 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85380 --- Comment #2 from simon at pushface dot org --- This is fixed in GCC 9.0.0.

  1   2   3   4   >