[Bug tree-optimization/111916] New: wrong code at -O1 and above on x86_64-linux-gnu (the generated code hangs)

2023-10-21 Thread zhendong.su at inf dot ethz.ch via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111916 Bug ID: 111916 Summary: wrong code at -O1 and above on x86_64-linux-gnu (the generated code hangs) Product: gcc Version: unknown Status: UNCONFIRMED Severity:

[Bug c++/110848] Consider enabling -Wvla by default in non-GNU C++ modes

2023-10-21 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110848 --- Comment #15 from Eric Gallager --- (In reply to Eric Gallager from comment #14) > Oh right, if we're considering changing things for plain-C here, too, then > maybe have it enabled by -Wc++-compat there? Or rather, for plain-C modes, where

[Bug c++/110848] Consider enabling -Wvla by default in non-GNU C++ modes

2023-10-21 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110848 --- Comment #14 from Eric Gallager --- Oh right, if we're considering changing things for plain-C here, too, then maybe have it enabled by -Wc++-compat there?

[Bug tree-optimization/111910] `a - b < 0` is not transformed into `a < b` for signed types

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111910 Andrew Pinski changed: What|Removed |Added Blocks||50856 --- Comment #4 from Andrew Pinski

[Bug tree-optimization/111915] [14 Regression] ICE in vect with option `-O2 -fno-tree-vrp -fno-tree-dominator-opts -fno-tree-ccp`

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111915 --- Comment #3 from Andrew Pinski --- Note the reasoning for the extra options is still get: _2 = i_26 * 2; _23 = _2 & 1; _9 = (long unsigned int) _23; In the IR. Otherwise _23 would be 0.

[Bug tree-optimization/111915] [14 Regression] ICE in vect with option `-O2 -fno-tree-vrp -fno-tree-dominator-opts -fno-tree-ccp`

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111915 --- Comment #2 from Andrew Pinski --- Maybe one of richi's recent SLP related patches: GCC 13: /app/example.cpp:5:21: missed: Build SLP failed: not grouped load _12 = *_11; /app/example.cpp:5:21: note: SLP discovery for node 0x4cdbb68 faile

[Bug tree-optimization/111915] [14 Regression] ICE in vect with option `-O2 -fno-tree-vrp -fno-tree-dominator-opts -fno-tree-ccp`

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111915 Andrew Pinski changed: What|Removed |Added Last reconfirmed||2023-10-22 Target Milestone|---

[Bug target/65250] [SH] Improve comparisons followed by a negated cstore

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65250 Andrew Pinski changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug c/111915] New: GCC: ICEs on a program with __restrict and option `-O2 -fno-tree-vrp -fno-tree-dominator-opts -fno-tree-ccp`

2023-10-21 Thread 141242068 at smail dot nju.edu.cn via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111915 Bug ID: 111915 Summary: GCC: ICEs on a program with __restrict and option `-O2 -fno-tree-vrp -fno-tree-dominator-opts -fno-tree-ccp` Product: gcc Version: 14.0 Status: U

[Bug c/111912] GCC: 14: internal compile error when apply __transaction_atomic on logical or expr

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111912 Andrew Pinski changed: What|Removed |Added Ever confirmed|0 |1 Known to fail|

[Bug tree-optimization/111913] [14 Regression] ICE with __builtin_popcount(X) + __builtin_popcount(Y) simplification

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111913 Andrew Pinski changed: What|Removed |Added Keywords||ice-on-valid-code, |

[Bug c/111914] ICE with function pointer array as argument with non-constant size

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111914 Andrew Pinski changed: What|Removed |Added Known to fail||7.1.0 Keywords|

[Bug c/111911] [11/12/13/14 Regression] ICE with integer overflow converting to _Bool

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111911 --- Comment #4 from Andrew Pinski --- (In reply to Andrew Pinski from comment #3) > I suspect it started with PR 93241 (and is very similar to PR 93348). (_Bool) <<< Unknown tree: c_maybe_const_expr 1 >>> == 0) So maybe remove_c_maybe_cons

[Bug c/111911] [11/12/13/14 Regression] ICE with integer overflow converting to _Bool

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111911 Andrew Pinski changed: What|Removed |Added Keywords||needs-bisection See Also|

[Bug c/111914] New: GCC: 14: ICE when function pointer array as arguments

2023-10-21 Thread 141242068 at smail dot nju.edu.cn via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111914 Bug ID: 111914 Summary: GCC: 14: ICE when function pointer array as arguments Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Compo

[Bug c/111911] [11/12/13/14 Regression] ICE with integer overflow converting to _Bool

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111911 --- Comment #2 from Andrew Pinski --- A c_maybe_const_expr is there still for this.

[Bug c/111913] New: GCC: 14: -O1 compile __builtin_popcount fails while -O0 succeeds

2023-10-21 Thread 141242068 at smail dot nju.edu.cn via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111913 Bug ID: 111913 Summary: GCC: 14: -O1 compile __builtin_popcount fails while -O0 succeeds Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal

[Bug c/111911] [11/12/13/14 Regression] ICE with integer overflow converting to _Bool

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111911 Andrew Pinski changed: What|Removed |Added Last reconfirmed||2023-10-22 Status|UNCONFIRM

[Bug c/111911] [11/12/13/14 Regression] ICE with integer overflow converting to _Bool

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111911 Andrew Pinski changed: What|Removed |Added Known to fail||10.1.0, 11.1.0, 8.4.0,

[Bug c/111912] New: GCC: 14: internal compile error when apply __transaction_atomic on logical or expr

2023-10-21 Thread 141242068 at smail dot nju.edu.cn via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111912 Bug ID: 111912 Summary: GCC: 14: internal compile error when apply __transaction_atomic on logical or expr Product: gcc Version: 14.0 Status: UNCONFIRMED Sever

[Bug c/111911] New: GCC: 14: internal compiler error: internal compiler error: in gimplify_expr, at gimplify.cc:17510

2023-10-21 Thread 141242068 at smail dot nju.edu.cn via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111911 Bug ID: 111911 Summary: GCC: 14: internal compiler error: internal compiler error: in gimplify_expr, at gimplify.cc:17510 Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug target/65250] [SH] Improve comparisons followed by a negated cstore

2023-10-21 Thread olegendo at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65250 --- Comment #2 from Oleg Endo --- Briefly checked this one on GCC-13. It generates the optimal sequence.

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

2023-10-21 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111909 Eric Gallager changed: What|Removed |Added CC||egallager at gcc dot gnu.org --- Commen

[Bug tree-optimization/111910] `a - b < 0` is not transformed into `a < b` for signed types

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111910 --- Comment #3 from Andrew Pinski --- Also this: ``` int f(int a, int b) { if (a < b) return a - b; else return b - a; } int fa(int a, int b) { return (a < b) ? (a - b) : (b - a); } int f1(int a, int b) { int t = a - b;

[Bug tree-optimization/111910] `a - b < 0` is not transformed into `a < b` for signed types

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111910 --- Comment #2 from Andrew Pinski --- That is: ``` int f(int a, int b) { if (a > b) return a - b; else return b - a; } int fa(int a, int b) { return (a > b) ? (a - b) : (b - a); } int f1(int a, int b) { int t = a - b;

[Bug tree-optimization/111910] `a - b < 0` is not transformed into `a < b` for signed types

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111910 Andrew Pinski changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug tree-optimization/25290] PHI-OPT could be rewritten so that is uses match

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25290 --- Comment #32 from Andrew Pinski --- https://gcc.gnu.org/pipermail/gcc-patches/2004-June/140297.html for reference where the original idea came from.

[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC

2023-10-21 Thread jrtc27 at jrtc27 dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908 --- Comment #1 from Jessica Clarke --- NB: Arm have a vendor branch for Morello (intended to be generic across CHERI with a Morello-specific backend, rather than overly tied to the Morello prototype) at refs/vendors/ARM/heads/morello. I have no

[Bug tree-optimization/111910] New: `a - b < 0` is not transformed into `a < b` for signed types

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111910 Bug ID: 111910 Summary: `a - b < 0` is not transformed into `a < b` for signed types Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: FIXME, missed-opt

[Bug fortran/111837] [11/12/13/14 Regression] Out of bounds access with optimization inside io-implied-do-control

2023-10-21 Thread anlauf at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111837 anlauf at gcc dot gnu.org changed: What|Removed |Added Resolution|--- |FIXED Status|ASS

[Bug fortran/111837] [11/12/13/14 Regression] Out of bounds access with optimization inside io-implied-do-control

2023-10-21 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111837 --- Comment #7 from CVS Commits --- The releases/gcc-11 branch has been updated by Harald Anlauf : https://gcc.gnu.org/g:9b569e0a1cf79519eea2e62422232c8d2d483f07 commit r11-11071-g9b569e0a1cf79519eea2e62422232c8d2d483f07 Author: Harald Anlauf

[Bug fortran/111837] [11/12/13/14 Regression] Out of bounds access with optimization inside io-implied-do-control

2023-10-21 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111837 --- Comment #6 from CVS Commits --- The releases/gcc-12 branch has been updated by Harald Anlauf : https://gcc.gnu.org/g:4d4d191e03d102d5afeb4b091e947560351004c3 commit r12-9934-g4d4d191e03d102d5afeb4b091e947560351004c3 Author: Harald Anlauf

[Bug fortran/111837] [11/12/13/14 Regression] Out of bounds access with optimization inside io-implied-do-control

2023-10-21 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111837 --- Comment #5 from CVS Commits --- The releases/gcc-13 branch has been updated by Harald Anlauf : https://gcc.gnu.org/g:c83907b9fad802a5c38ed4ca75d9415b8f57f619 commit r13-7972-gc83907b9fad802a5c38ed4ca75d9415b8f57f619 Author: Harald Anlauf

[Bug c/111903] [14 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in create_tmp_from_val, at gimplify.cc:567 with -mno-sse2 and _Float16

2023-10-21 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111903 Andrew Pinski changed: What|Removed |Added URL||https://gcc.gnu.org/piperma

[Bug fortran/111781] Fortran compiler complains about variable bound in array dummy argument

2023-10-21 Thread mikael at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111781 --- Comment #3 from Mikael Morin --- I'm trying to remove the formal_arg_flag global variables, which seem to just disable all the checks on dummy arguments. Unfortunately, it regresses a bit, say pr101026.f for example can be simplified to thi

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

2023-10-21 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111909 Bug ID: 111909 Summary: Filename case sensitivity defaulted wrongly on macOS Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Compon

[Bug c++/110848] Consider enabling -Wvla by default in non-GNU C++ modes

2023-10-21 Thread aaron at aaronballman dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110848 --- Comment #13 from Aaron Ballman --- Just to circle back around on this topic, these are changes recently landed in Clang: https://github.com/llvm/llvm-project/commit/84a3aadf0f2483dde0acfc4e79f2a075a5f35bd1 It enables the -Wvla-extension dia

[Bug fortran/111781] Fortran compiler complains about variable bound in array dummy argument

2023-10-21 Thread mikael at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111781 Mikael Morin changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned a

[Bug target/111908] New: Port CheriBSD-specific compiler warnings to GCC

2023-10-21 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908 Bug ID: 111908 Summary: Port CheriBSD-specific compiler warnings to GCC Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: build, diagnostic Severity: normal

[Bug tree-optimization/80532] warning on pointer access after free

2023-10-21 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80532 --- Comment #11 from Eric Gallager --- (In reply to CVS Commits from comment #9) > The master branch has been updated by Martin Sebor : > > https://gcc.gnu.org/g:671a283636de75f7ed638ee6b01ed2d44361b8b6 > > commit r12-6605-g671a283636de75f7ed63

[Bug target/111905] -O3 vectorization terribly pessimizes the code for an already unrolled loop

2023-10-21 Thread kamkaz at windowslive dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111905 --- Comment #4 from Kamil Kaznowski --- (In reply to Andrew Pinski from comment #2) > Why are you using `-mprefer-vector-width=512` here? > > 512 causes the loop to be needing to be unrolled once more and that is why > the confusion happening.

[Bug target/111905] -O3 vectorization terribly pessimizes the code for an already unrolled loop

2023-10-21 Thread kamkaz at windowslive dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111905 --- Comment #3 from Kamil Kaznowski --- Created attachment 56166 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56166&action=edit a smaller example A smaller example. Compilation flags: -O2 -march=x86-64-v3 -std=c++23 vs -O3 -march=x86-64

[Bug target/111907] New: ICE: in curr_insn_transform, at lra-constraints.cc:4294 unable to generate reloads for: {*andnottf3} with -mavx512f -mno-evex512 -mbionic

2023-10-21 Thread zsojka at seznam dot cz via Gcc-bugs
-linux-gnu-as --disable-libstdcxx-pch --prefix=/repo/gcc-trunk//binary-trunk-r14-4813-20231021102502-g57cbb1d3344-checking-yes-rtl-df-extra-nobootstrap-amd64 Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 14.0.0 20231021 (experimental) (GCC)

[Bug tree-optimization/111906] New: ICE: segfault during GIMPLE pass: dom in gsi_prev() testsuite torture/bitint-39.c with -O1 (expensive tests)

2023-10-21 Thread rimvydas.jas at gmail dot com via Gcc-bugs
entation fault) FAIL: gcc.dg/torture/bitint-39.c -O1 (test for excess errors) === gcc Summary === # of expected passes12 # of unexpected failures2 # of unresolved testcases 1 /tmp/build/gcc/xgcc version 14.0.0 20231021 (experimental) [master r14-481