Re: [PATCH] libsupc++: Fix UB terminating on foreign exception

2024-01-13 Thread Jonathan Wakely
On Sun, 14 Jan 2024, 01:36 Julia DeMille, wrote: > On 1/13/24 19:17, Andrew Pinski wrote: > > 2 things, changelogs go into the email message rather than directly as > > part of the patch., > The reason for this is that the ChangeLog files are auto-generated from the git commit messages, not

Re: How to compress the size of a field in a structure?

2024-01-13 Thread Hanke Zhang via Gcc
Hi lain, Thanks for your thoughtful comments and concerns. The primary goal of compressing the structure fields is to achieve memory efficiency. I understand your points regarding potential issues with modifying the size and types of the structure. I guess rewriting all the corresponding

[Bug tree-optimization/113385] [14 regression] ICE when building opencv (dfs_enumerate_from, at cfganal.cc:1590)

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113385 --- Comment #2 from Andrew Pinski --- Fuller backtrace: ``` #2 0x0083f554 in dfs_enumerate_from (bb=, reverse=reverse@entry=1, predicate=predicate@entry=0xe00620 , rslt=, rslt@entry=0x4604c70, rslt_max=36,

Re: [PATCH v2]: gcc/doc/extend.texi: Update builtin example for __builtin_FILE, __builtin_LINE __builtin_FUNCTION

2024-01-13 Thread Sandra Loosemore
On 1/10/24 14:28, Jonny Grant wrote: > > 2024-01-10 Jonathan Grant > gcc/ChangeLog: >* doc/extend.texi: Update builtin example for __builtin_FILE > __builtin_LINE __builtin_FUNCTION. > > > >>From 66290eb477dd1a99310ad9972c45391c2a87c1c7 Mon Sep 17 00:00:00 2001 > From: Jonathan Grant >

[Bug testsuite/106879] [13 regression] new test case gcc.dg/vect/bb-slp-layout-19.c fails

2024-01-13 Thread guojiufu at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106879 Jiu Fu Guo changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug testsuite/106879] [13 regression] new test case gcc.dg/vect/bb-slp-layout-19.c fails

2024-01-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106879 --- Comment #10 from GCC Commits --- The releases/gcc-13 branch has been updated by Jiu Fu Guo : https://gcc.gnu.org/g:9347879fb622b024e8924a731c2acc7100d5e9b4 commit r13-8221-g9347879fb622b024e8924a731c2acc7100d5e9b4 Author: Jiufu Guo Date:

Re: [PATCH] libsupc++: Fix UB terminating on foreign exception

2024-01-13 Thread Julia DeMille
On 1/13/24 19:17, Andrew Pinski wrote: 2 things, changelogs go into the email message rather than directly as part of the patch., Apologies. I have prepared a revised patch, and will send it when applicable. Second I wonder if you could add a multiple language testcase using GNU

[Bug objc++/23616] obj-c++.dg/try-catch-[29].mm (objc exceptions are broken) fails with the GNU Runtime

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23616 Andrew Pinski changed: What|Removed |Added CC||pinskia at gcc dot gnu.org --- Comment

[Bug tree-optimization/113385] [14 regression] ICE when building opencv (dfs_enumerate_from, at cfganal.cc:1590)

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113385 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |14.0 Keywords|

Re: [PATCH] libsupc++: Fix UB terminating on foreign exception

2024-01-13 Thread Andrew Pinski
On Sat, Jan 13, 2024 at 5:10 PM Julia DeMille wrote: > > Currently, when std::terminate() is called with a foreign exception > active, since nothing in the path checks whether the exception matches > the `GNUCC++\0` personality, a foreign exception can go into the verbose > terminate handler, and

[Bug tree-optimization/113385] [14 regression] ICE when building opencv (dfs_enumerate_from, at cfganal.cc:1590)

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113385 --- Comment #1 from Andrew Pinski --- Reducing ...

[Bug rtl-optimization/111267] [14 Regression] Codegen regression from i386 argument passing changes

2024-01-13 Thread roger at nextmovesoftware dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111267 --- Comment #7 from Roger Sayle --- Very many thanks to Jeff Law for pointing me to fwprop. The following simple patch also fixes this regression. diff --git a/gcc/fwprop.cc b/gcc/fwprop.cc index 0c588f8..cbba44e 100644 --- a/gcc/fwprop.cc

[PATCH] libsupc++: Fix UB terminating on foreign exception

2024-01-13 Thread Julia DeMille
Currently, when std::terminate() is called with a foreign exception active, since nothing in the path checks whether the exception matches the `GNUCC++\0` personality, a foreign exception can go into the verbose terminate handler, and get treated as though it were a C++ exception. Reflection is

[Bug tree-optimization/113385] New: [14 regression] ICE when building opencv (dfs_enumerate_from, at cfganal.cc:1590)

2024-01-13 Thread sjames at gcc dot gnu.org via Gcc-bugs
ations --disable-vtable-verify --disable-libvtv --with-zstd --without-isl --enable-default-pie --enable-host-pie --disable-host-bind-now --enable-default-ssp --with-build-config='bootstrap-O3 bootstrap-lto' Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 14.0.1

[Bug tree-optimization/113371] [14 Regression] ICE: verify_ssa failed: PHI node with wrong VUSE on edge from BB 19 with -O -march=silvermont -ftree-vectorize

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113371 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/113371] [14 Regression] ICE: verify_ssa failed: PHI node with wrong VUSE on edge from BB 19 with -O -march=silvermont -ftree-vectorize

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113371 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |14.0 CC|

[Bug c++/113375] GCC accepts invalid program involving template keyword when used without a template arg list

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113375 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/55588] Failure to diagnose non-template-id prefixed by keyword template

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55588 Andrew Pinski changed: What|Removed |Added CC||jlame646 at gmail dot com --- Comment

[Bug tree-optimization/113373] [14 regression] ICE in verify_ssa

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113373 Andrew Pinski changed: What|Removed |Added Last reconfirmed||2024-01-13 Ever confirmed|0

[Bug tree-optimization/113373] [14 regression] ICE in verify_ssa

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113373 --- Comment #4 from Andrew Pinski --- Created attachment 57076 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57076=edit Reduced C testcase

[Bug tree-optimization/113374] [14 regression] ICE in find_uses_to_rename_use

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113374 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/113374] [14 regression] ICE in find_uses_to_rename_use

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113374 --- Comment #3 from Andrew Pinski --- Created attachment 57075 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57075=edit Reduced C testcase Note I think there is a missed VRP removing some bounds check but this is not the issue here.

gcc-13-20240113 is now available

2024-01-13 Thread GCC Administrator via Gcc
Snapshot gcc-13-20240113 is now available on https://gcc.gnu.org/pub/gcc/snapshots/13-20240113/ and on various mirrors, see https://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 13 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

[Bug preprocessor/109704] #pragma {push,pop}_macro broken for identifiers that contain dollar signs at nonfirst positions

2024-01-13 Thread lhyatt at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109704 Lewis Hyatt changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[PATCH] libcpp: Support extended characters for #pragma {push, pop}_macro [PR109704]

2024-01-13 Thread Lewis Hyatt
Hello- https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109704 The below patch fixes the issue noted in the PR that extended characters cannot appear in the identifier passed to a #pragma push_macro or #pragma pop_macro. Bootstrap + regtest all languages on x86-64 Linux. Is it OK for GCC 13 please?

[Bug fortran/67277] segfault when passing a missing optional argument to an elemental intrinsic

2024-01-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67277 --- Comment #8 from GCC Commits --- The master branch has been updated by Harald Anlauf : https://gcc.gnu.org/g:20da56165273c8814b3c53e6d71549ba6a37e0cd commit r14-7228-g20da56165273c8814b3c53e6d71549ba6a37e0cd Author: Harald Anlauf Date:

Re: [PATCH] Fortran: intrinsic ISHFTC and missing optional argument SIZE [PR67277]

2024-01-13 Thread Steve Kargl
On Sat, Jan 13, 2024 at 10:12:42PM +0100, Harald Anlauf wrote: > > (2) a missing optional argument for SIZE to the ISHFTC intrinsic > shall be equivalent to using BIT_SIZE(I). > > Regtested on x86_64-pc-linux-gnu. OK for mainline? > > As I consider the patch safe, I'd like to backport to

[Bug tree-optimization/113373] [14 regression] ICE in verify_ssa

2024-01-13 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113373 --- Comment #3 from David Binderman --- Reduced C++ code seems to be: void __assert_fail(char *, char *, int, const char *) __attribute__((__noreturn__)); template struct asCArray { asCArray(int); T [](unsigned); T *array; int

[Bug tree-optimization/113373] [14 regression] ICE in verify_ssa

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113373 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |14.0 Keywords|

[Bug tree-optimization/113373] [14 regression] ICE in verify_ssa

2024-01-13 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113373 --- Comment #2 from David Binderman --- Reducing ...

[Bug fortran/113305] ICE with do concurrent and ivdep

2024-01-13 Thread anlauf at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113305 anlauf at gcc dot gnu.org changed: What|Removed |Added Target Milestone|--- |14.0 Resolution|---

[PATCH] Fortran: intrinsic ISHFTC and missing optional argument SIZE [PR67277]

2024-01-13 Thread Harald Anlauf
Dear all, the testcase given in PR67277 actually consists of two separate issues: (1) passing an optional dummy argument to an elemental (intrinsic) procedure (2) a missing optional argument for SIZE to the ISHFTC intrinsic shall be equivalent to using BIT_SIZE(I). I've created a separate

[Bug libfortran/113223] NAMELIST internal write missing leading blank character

2024-01-13 Thread jvdelisle at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113223 Jerry DeLisle changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug libfortran/113223] NAMELIST internal write missing leading blank character

2024-01-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113223 --- Comment #6 from GCC Commits --- The releases/gcc-13 branch has been updated by Jerry DeLisle : https://gcc.gnu.org/g:370aa06510cc714efd1f24170a09c9ba1f3d76f9 commit r13-8219-g370aa06510cc714efd1f24170a09c9ba1f3d76f9 Author: Jerry DeLisle

[Bug fortran/113384] New: [14 Regression] FAIL: gfortran.dg/array_reference_1.f90 -O0 execution test

2024-01-13 Thread danglin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113384 Bug ID: 113384 Summary: [14 Regression] FAIL: gfortran.dg/array_reference_1.f90 -O0 execution test Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug target/113312] Update __attribute__((interrupt)) for Intel FRED

2024-01-13 Thread hpa at zytor dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113312 --- Comment #21 from H. Peter Anvin --- I think this could be a really useful performance improvement in general. The Linux exception and syscall paths have a fair number of tail calls on the primary path, and this would make it possible to

[PATCH] testsuite: Turn errors back into warnings in arm/acle/cde-mve-error-2.c

2024-01-13 Thread Thiago Jung Bauermann
Since commit 2c3db94d9fd ("c: Turn int-conversion warnings into permerrors") the test fails with errors such as: FAIL: gcc.target/arm/acle/cde-mve-error-2.c -O0 (test for errors, line 32) FAIL: gcc.target/arm/acle/cde-mve-error-2.c -O0 (test for errors, line 33) FAIL:

[Bug tree-optimization/113374] [14 regression] ICE in find_uses_to_rename_use

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113374 --- Comment #2 from Andrew Pinski --- reducing ...

[Bug tree-optimization/113383] New: `MAX(a, b) == 0` and `MAX(a, b) != 0` can be simplified (for unsigned types)

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113383 Bug ID: 113383 Summary: `MAX(a,b) == 0` and `MAX(a,b) != 0` can be simplified (for unsigned types) Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords:

[Bug target/113312] Update __attribute__((interrupt)) for Intel FRED

2024-01-13 Thread hjl.tools at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113312 --- Comment #20 from H.J. Lu --- In Linux kernel 6.7.0 on x86-64, do_exit is changed from do_exit: endbr64 call push %r15 push %r14 push %r13 push %r12 mov%rdi,%r12

[Bug target/113312] Update __attribute__((interrupt)) for Intel FRED

2024-01-13 Thread hpa at zytor dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113312 --- Comment #19 from H. Peter Anvin --- I'm away for the long weekend, but I'll try it out on Tuesday.

[Bug debug/113382] New: FAIL: gcc.dg/debug/btf/btf-bitfields-3.c scan-assembler-times [\t ]0x6000004[\t ]+[^\n]*btt_info 1

2024-01-13 Thread danglin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113382 Bug ID: 113382 Summary: FAIL: gcc.dg/debug/btf/btf-bitfields-3.c scan-assembler-times [\t ]0x604[\t ]+[^\n]*btt_info 1 Product: gcc Version: 14.0

[Bug c++/112737] [14 Regression] g++.dg/modules/xtreme-header-2_b.C -std=c++2b (test for excess errors)

2024-01-13 Thread danglin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112737 --- Comment #4 from John David Anglin --- On hppa64-hp-hpux11.11: Excess errors: /home/dave/gnu/gcc/gcc/gcc/testsuite/g++.dg/modules/xtreme-header-2_a.H: error: conflicting global module declaration 'template class _Cont, class _Rg, class ...

[Bug c++/113038] [14 regression] Excess errors for g++.dg/modules/hello-1_b.C after r14-6569-gfe54b57728c09a

2024-01-13 Thread danglin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113038 John David Anglin changed: What|Removed |Added CC||danglin at gcc dot gnu.org ---

[Bug c/89072] -Wall -Werror should be defaults

2024-01-13 Thread segher at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89072 --- Comment #13 from Segher Boessenkool --- I always have -Wmissing-declarations -Wformat=2 , for some reason those aren't in -Wall, not even in -W . Crazy if you ask me :-)

[Bug c++/113381] New: FAIL: g++.dg/cpp2a/consteval-prop6.C -std=c++20 at line 58 (test for warnings, line 57)

2024-01-13 Thread danglin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113381 Bug ID: 113381 Summary: FAIL: g++.dg/cpp2a/consteval-prop6.C -std=c++20 at line 58 (test for warnings, line 57) Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug target/113312] Update __attribute__((interrupt)) for Intel FRED

2024-01-13 Thread hjl.tools at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113312 --- Comment #18 from H.J. Lu --- (In reply to H.J. Lu from comment #17) > Please try users/hjl/pr113312/gcc-13 branch: > > https://gitlab.com/x86-gcc/gcc/-/tree/users/hjl/pr113312/gcc- > 13?ref_type=heads > > It supports

[committed] hppa64: Fix fmt_f_default_field_width_3.f90 and fmt_g_default_field_width_3.f90

2024-01-13 Thread John David Anglin
Tested on hppa64-hp-hpux11.11. Committed to trunk. Dave --- hppa64: Fix fmt_f_default_field_width_3.f90 and fmt_g_default_field_width_3.f90 The hppa*64*-*-hpux* target is not included in the set of fortran_real_16 targets because it doesn't have cosl. However, these tests don't need cosl,

Re: [[gcc_struct]] potential clang compatibility concerns

2024-01-13 Thread Dan Klishch via Gcc
On Sat, Dec 2, 2023 at 4:50 PM Dan Klishch wrote: > > Hi, > > In the discussion of LLVM's PR adding `[[gnu::gcc_struct]]` support to Clang > (https://github.com/llvm/llvm-project/pull/71148), maintainers asked > me to make sure that whatever > is done there, makes sense for GCC too. > > To

[Bug tree-optimization/113380] New: `(a CMP CST) | (a*a CMP CST1)` is not optimized as decent as with `||`

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113380 Bug ID: 113380 Summary: `(a CMP CST) | (a*a CMP CST1)` is not optimized as decent as with `||` Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords:

[Bug tree-optimization/113379] `MIN == MAX` should be optimzed to `a == b`

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113379 Andrew Pinski changed: What|Removed |Added Severity|normal |enhancement --- Comment #1 from Andrew

[Bug tree-optimization/113379] New: `MIN == MAX` should be optimzed to `a == b`

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113379 Bug ID: 113379 Summary: `MIN == MAX` should be optimzed to `a == b` Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: missed-optimization Severity: normal

[Bug libstdc++/113230] 27_io/print/1.cc fails when run with qemu

2024-01-13 Thread hp at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113230 --- Comment #9 from Hans-Peter Nilsson --- By the (In reply to Jonathan Wakely from comment #8) > Although I guess Andrew's qemu setup doesn't match the simulator ET. FWIW, by his uploaded board-info file calling 'load_generic_config "sim"'

[Bug c/113378] _Static_assert diagnostics lack information when compiling stdin

2024-01-13 Thread alx at kernel dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113378 --- Comment #2 from Alejandro Colomar --- (In reply to Andrew Pinski from comment #1) > >I expect the same diagnostic information when compiling stdin. > > > This part of the diagnostic: > 2 | foo(); > | ^~~ > > Comes from

[Bug tree-optimization/113374] [14 regression] ICE in find_uses_to_rename_use

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113374 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |14.0 CC|

[Bug c/113378] _Static_assert diagnostics lack information when compiling stdin

2024-01-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113378 Andrew Pinski changed: What|Removed |Added Keywords||diagnostic --- Comment #1 from Andrew

[Bug target/113070] [14 regression] [AArch64] [PGO/LTO] Miscompilation of go compiler

2024-01-13 Thread acoplan at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113070 Alex Coplan changed: What|Removed |Added Keywords||patch URL|

[Bug c/113378] New: _Static_assert diagnostics lack information when compiling stdin

2024-01-13 Thread alx at kernel dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113378 Bug ID: 113378 Summary: _Static_assert diagnostics lack information when compiling stdin Product: gcc Version: 13.2.0 Status: UNCONFIRMED Severity: normal

[Bug target/113324] internal compiler error: in reload_combine_note_use, at postreload.c:1534

2024-01-13 Thread mikpelinux at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113324 Mikael Pettersson changed: What|Removed |Added CC||mikpelinux at gmail dot com ---

[PATCH 4/4] aarch64: Fix up uses of mem following stp insert [PR113070]

2024-01-13 Thread Alex Coplan
As the PR shows (specifically #c7) we are missing updating uses of mem when inserting an stp in the aarch64 load/store pair fusion pass. This patch fixes that. RTL-SSA has a simple view of memory and by default doesn't allow stores to be re-ordered w.r.t. other stores. In the ldp fusion pass,

[PATCH 3/4] rtl-ssa: Ensure new defs get inserted [PR113070]

2024-01-13 Thread Alex Coplan
In r14-5820-ga49befbd2c783e751dc2110b544fe540eb7e33eb I added support to RTL-SSA for inserting new insns, which included support for users creating new defs. However, I missed that apply_changes_to_insn needed updating to ensure that the new defs actually got inserted into the main def chain.

[PATCH 2/4] rtl-ssa: Support for creating new uses [PR113070]

2024-01-13 Thread Alex Coplan
This exposes an interface for users to create new uses in RTL-SSA. This is needed for updating uses after inserting a new store pair insn in the aarch64 load/store pair fusion pass. gcc/ChangeLog: PR target/113070 * rtl-ssa/accesses.cc (function_info::create_use): New. *

[PATCH 1/4] rtl-ssa: Run finalize_new_accesses forwards [PR113070]

2024-01-13 Thread Alex Coplan
The next patch in this series exposes an interface for creating new uses in RTL-SSA. The intent is that new user-created uses can consume new user-created defs in the same change group. This is so that we can correctly update uses of memory when inserting a new store pair insn in the aarch64

[PATCH 0/4] aarch64, rtl-ssa: Fix wrong code in ldp fusion pass [PR113070]

2024-01-13 Thread Alex Coplan
This patch series restores PGO+LTO bootstrap on aarch64 (with the ldp passes enabled) and fixes wrong code (leading to a segfault) seen in cactuBSSN_r from SPEC CPU 2017 with PGO+LTO enabled. For an example showing what goes wrong, see: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113070#c7 In

[Bug tree-optimization/113374] [14 regression] ICE in find_uses_to_rename_use

2024-01-13 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113374 --- Comment #1 from David Binderman --- trunk.20210101 $ ~/gcc/results.20240112.asan.ubsan/bin/gcc -v 2>&1 | grep exp gcc version 14.0.0 20240112 (experimental) (72b3495dfdddc277) trunk.20210101 $ ~/gcc/results.20240113.asan.ubsan/bin/g

[Bug tree-optimization/113373] [14 regression] ICE in verify_ssa

2024-01-13 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113373 --- Comment #1 from David Binderman --- $ /home/dcb38/gcc/results.20231221.asan.ubsan/bin/g++ -v 2>&1 | grep exp gcc version 14.0.0 20231221 (experimental) (514ea1df444ca7f6) $ /home/dcb38/gcc/results.20231227.asan.ubsan/bin/g++ -v 2>&1 |

[Bug fortran/67277] segfault when passing a missing optional argument to an elemental intrinsic

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

[Bug libstdc++/113376] Confusing notes when using C++17 parallel algorithms

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113376 Jonathan Wakely changed: What|Removed |Added Last reconfirmed||2024-01-13 Ever confirmed|0

[Bug fortran/113377] New: Wrong code passing optional dummy argument to elemental procedure with optional dummy

2024-01-13 Thread anlauf at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113377 Bug ID: 113377 Summary: Wrong code passing optional dummy argument to elemental procedure with optional dummy Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug fortran/113305] ICE with do concurrent and ivdep

2024-01-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113305 --- Comment #8 from GCC Commits --- The master branch has been updated by Harald Anlauf : https://gcc.gnu.org/g:9935667a69896865b848dfa690f94c9c693a48a3 commit r14-7226-g9935667a69896865b848dfa690f94c9c693a48a3 Author: Harald Anlauf Date:

Re: [PATCH v2 2/2] LoongArch: When the code model is extreme, the symbol address is obtained through macro instructions regardless of the value of -mexplicit-relocs.

2024-01-13 Thread chenglulu
在 2024/1/13 下午9:05, Xi Ruoyao 写道: 在 2024-01-13星期六的 15:01 +0800,chenglulu写道: 在 2024/1/12 下午7:42, Xi Ruoyao 写道: 在 2024-01-12星期五的 09:46 +0800,chenglulu写道: I found an issue bootstrapping GCC with -mcmodel=extreme in BOOT_CFLAGS: we need a target hook to tell the generic code

[PATCH 3/4] testsuite, jit: Allow for target-specific assembler scans.

2024-01-13 Thread Iain Sandoe
If we want to support multiple object formats and to allow for scan-assembler tests, we need to make it possible to adjust the tests on a per-target basis. This adds similar mechamisms to jit-verify-assembler-output{,-not} to those used for the general scan-assembler dg directives. As an aside;

[PATCH 4/4] testsuite,jit: Handle Darwin/Mach-O in assembler tests.

2024-01-13 Thread Iain Sandoe
Several of the jit tests check for assembler-specific output which differs on Mach-O from ELF. This patch uses the facility to make the scans targer-dependent and adds handling for darwin. gcc/testsuite/ChangeLog: * jit.dg/test-always_inline-attribute.c: Handle Darwin in

[PATCH 2/4] testsuite, jit: Handle whitespace in test-link-section-assembler.c.

2024-01-13 Thread Iain Sandoe
Darwin has a different .section directive that has more fields and uses different whitespace. Amend the whitespace in the scan-asm to be more flexible. gcc/testsuite/ChangeLog: * jit.dg/test-link-section-assembler.c: Accept any whitespace between the .section directive and its

[PATCH 1/4] testsuite, jit: test-alias-attribute.c requires alias support.

2024-01-13 Thread Iain Sandoe
Add a dg-require-alias to cover this. gcc/testsuite/ChangeLog: * jit.dg/test-alias-attribute.c: Require target alias support. Signed-off-by: Iain Sandoe --- gcc/testsuite/jit.dg/test-alias-attribute.c | 1 + 1 file changed, 1 insertion(+) diff --git

Jit testsuite updates for Darwin

2024-01-13 Thread Iain Sandoe
This is a short series of patches to support non-ELF targets in the jit tests where these use target-specific capabilities (e.g. alias support, or scanning for assembler directives.) An alternative would be to skip these tests for Darwin. Tested on x86_64 Darwin, and about to test Linux, OK for

Re: [PATCH v2] LoongArch: testsuite:Added additional vectorization "-mlsx" option.

2024-01-13 Thread Xi Ruoyao
在 2024-01-13星期六的 15:28 +0800,chenxiaolong写道: > gcc/testsuite/ChangeLog: > > * gcc.dg/pr104992.c: Added additional "-mlsx" compilation options. > * gcc.dg/signbit-2.c: Dito. > * gcc.dg/tree-ssa/scev-16.c: Dito. > * gfortran.dg/graphite/vect-pr40979.f90: Dito. > *

Re: [PATCH v2 2/2] LoongArch: When the code model is extreme, the symbol address is obtained through macro instructions regardless of the value of -mexplicit-relocs.

2024-01-13 Thread Xi Ruoyao
在 2024-01-13星期六的 15:01 +0800,chenglulu写道: > > 在 2024/1/12 下午7:42, Xi Ruoyao 写道: > > 在 2024-01-12星期五的 09:46 +0800,chenglulu写道: > > > > > > I found an issue bootstrapping GCC with -mcmodel=extreme in BOOT_CFLAGS: > > > > we need a target hook to tell the generic code > > > >

[Bug libstdc++/113376] New: Confusing notes when using C++17 parallel algorithms

2024-01-13 Thread pilarlatiesa at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113376 Bug ID: 113376 Summary: Confusing notes when using C++17 parallel algorithms Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3

New TLS usage in libgcc_s.so.1, compatibility impact

2024-01-13 Thread Florian Weimer via Gcc
This commit commit 8abddb187b33480d8827f44ec655f45734a1749d Author: Andrew Burgess Date: Sat Aug 5 14:31:06 2023 +0200 libgcc: support heap-based trampolines Add support for heap-based trampolines on x86_64-linux, aarch64-linux, and x86_64-darwin. Implement the

[Bug libstdc++/113318] [C++23] Implement P1185R12, Naming text encodings to demystify them

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113318 --- Comment #5 from Jonathan Wakely --- V2 https://gcc.gnu.org/pipermail/gcc-patches/2024-January/642908.html

[PATCH v2] libstdc++: Implement C++26 std::text_encoding [PR113318]

2024-01-13 Thread Jonathan Wakely
Patch v2, with more tests. This fixes a bug in lookup by name where if an alias was matched then the aliases() view wouldn't contain the primary name or other aliases earlier in the table. It also optimizes text_encoding::environment_is so it constructs an encoding by ID and then only matches the

[Bug c++/113375] New: GCC accepts invalid program involving template keyword when used without a template arg list

2024-01-13 Thread jlame646 at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113375 Bug ID: 113375 Summary: GCC accepts invalid program involving template keyword when used without a template arg list Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug libstdc++/108976] codecvt for Unicode allows surrogate code points

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108976 Jonathan Wakely changed: What|Removed |Added Target Milestone|--- |13.3 --- Comment #12 from Jonathan

[Bug libstdc++/108976] codecvt for Unicode allows surrogate code points

2024-01-13 Thread dmjpp at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108976 --- Comment #11 from Dimitrij Mijoski --- (In reply to Jonathan Wakely from comment #10) > I think it would be good to backport it, what do you think? I don't really have strong need. Maybe porting only to v13 as that is pretty straightforward

[Bug middle-end/113364] [14 regression] ICE verify_ssa: `definition in block N does not dominate use in block` with `-O3 -march=znver2`

2024-01-13 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113364 --- Comment #10 from Sam James --- (In reply to Tamar Christina from comment #8) > Hmm curious, does it work for you with --with-build-config='bootstrap-O3' > that's how I tested it before Will have a look. I'll try ignore the bootstrap

[Bug testsuite/113366] g++.dg/cpp2a/concepts-pr67774.C FAIL

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113366 --- Comment #3 from Jonathan Wakely --- It seems like there's no macro predefined by the front end to tell me -fconcepts-ts is being used? It defines __cpp_concepts=201507L for C++17 mode, but for C++20 that is __cpp_concepts=202002L instead

[Bug libstdc++/113230] 27_io/print/1.cc fails when run with qemu

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113230 --- Comment #8 from Jonathan Wakely --- Although I guess Andrew's qemu setup doesn't match the simulator ET.

[Bug libstdc++/113230] 27_io/print/1.cc fails when run with qemu

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113230 --- Comment #7 from Jonathan Wakely --- Maybe that part of the test could just use { target { ! simulator } } It's testing something that is highly dependent on the runtime context. It's worth testing ... but only when we can control the

[Bug testsuite/113366] g++.dg/cpp2a/concepts-pr67774.C FAIL

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113366 Jonathan Wakely changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

Re: [PATCH] Pass GUILE down to subdirectories

2024-01-13 Thread Andrew Burgess
Tom Tromey writes: > When I enable cgen rebuilding in the binutils-gdb tree, the default is > to run cgen using 'guile'. However, on my host, guile is guile 2.2, > which doesn't work for me -- I have to use guile3.0. > > This patch arranges to pass "GUILE" down to subdirectories, so I can > use

[Bug testsuite/113366] g++.dg/cpp2a/concepts-pr67774.C FAIL

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113366 --- Comment #1 from Jonathan Wakely --- Odd. We get the type/value mismatch from here: template using __maybe_const_t = __conditional_t<__format::__formattable_with<_Tp, _Context>,

[Bug libstdc++/106749] Implement C++23 library features

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106749 Bug 106749 depends on bug 108822, which changed state. Bug 108822 Summary: [C++23] Implement P2255R2, type trait to detect reference binding to temporary https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108822 What|Removed

[Bug libstdc++/108822] [C++23] Implement P2255R2, type trait to detect reference binding to temporary

2024-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108822 Jonathan Wakely changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

Re: [PATCH] libstdc++: Make PSTL algorithms accept C++20 iterators [PR110512]

2024-01-13 Thread Jonathan Wakely
On Sat, 13 Jan 2024 at 09:36, Pilar Latiesa wrote: > > Hi Jonathan > > Thanks so much for implementing this. > > There are a couple of typos in the patch description: > 's/C==17RandomAccessIterator/Cpp17RandomAccessIterator/' and > 's/__or_/__and_/'. Thanks for the comments, I'll fix those. >

[PATCH v2] libstdc++: Update tzdata to 2023d

2024-01-13 Thread Jonathan Wakely
On Fri, 12 Jan 2024 at 22:59, Jonathan Wakely wrote: > > It would be good to update the bundled tzdata for GCC 14.1 and 13.3 The expiry date for the hardcoded leapseconds list should be updated too, as there's a new date in the file in the tzdata distro. There are no new leap seconds though, just

Re: [PATCH] libstdc++: Implement P2255R2 dangling checks for std::tuple [PR108822]

2024-01-13 Thread Jonathan Wakely
On Sat, 13 Jan 2024 at 00:06, Patrick Palka wrote: > > On Fri, 12 Jan 2024, Jonathan Wakely wrote: > > > On Fri, 12 Jan 2024 at 18:33, Patrick Palka wrote: > > > > > > On Fri, 12 Jan 2024, Jonathan Wakely wrote: > > > > > > > On Fri, 12 Jan 2024 at 17:55, Patrick Palka wrote: > > > > > > > > >

[Bug libstdc++/108822] [C++23] Implement P2255R2, type trait to detect reference binding to temporary

2024-01-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108822 --- Comment #4 from GCC Commits --- The master branch has been updated by Jonathan Wakely : https://gcc.gnu.org/g:f8a5298c97c460d45e888b123fe1bbcdb49b8ad4 commit r14-7225-gf8a5298c97c460d45e888b123fe1bbcdb49b8ad4 Author: Jonathan Wakely

[Bug c++/113332] [12/13/14 regression] checking ICE when building fcitx-5.1.6

2024-01-13 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113332 --- Comment #3 from Sam James --- Created attachment 57072 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57072=edit reduced.ii

[Bug tree-optimization/113370] wrong code with shift and _BitInt() at -O0

2024-01-13 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113370 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

  1   2   >