[Bug tree-optimization/110919] [14 Regression] Dead Code Elimination Regression at -O3 since r14-1691-gbc5a2c2e793

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110919 --- Comment #6 from Andrew Pinski --- For -O1 we have: _24 = c_16 == 0; _6 = (int) _24; _2 = (short int) _24; _3 = (int) _24; _5 = e; _20 = _3 == _5; _21 = c_16 != 0; _22 = _20 & _21; ((c_16 == 0) == _5) & (c_16 != 0) ((!b) ? 0

[Bug c++/111281] unhelpful warning output ('nonnull' argument 'v' compared to NULL)

2023-09-03 Thread f.heckenbach--- via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111281 --- Comment #3 from Frank Heckenbach --- Thanks for the additional info. I still think it would be useful if the message told me that, rather than you. ;) - 'nonnull' is a GCC attribute, and quoting it makes it look like it refers to that,

[Bug c++/111281] unhelpful warning output ('nonnull' argument 'v' compared to NULL)

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111281 --- Comment #2 from Andrew Pinski --- >- There is no "nonnull" in the code. It is nonnull since it is a reference. References cannot pointer to null values.

[Bug c++/111281] unhelpful warning output ('nonnull' argument 'v' compared to NULL)

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111281 --- Comment #1 from Andrew Pinski --- >- There is no comparison (to NULL or anything else for that matter) in the >code. Actually there is because there is a conversion to bool happening ...

[Bug c++/111281] New: unhelpful warning output ('nonnull' argument 'v' compared to NULL)

2023-09-03 Thread f.heckenbach--- via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111281 Bug ID: 111281 Summary: unhelpful warning output ('nonnull' argument 'v' compared to NULL) Product: gcc Version: 12.2.0 Status: UNCONFIRMED Severity: normal

[Bug target/111279] ICE: Segmentation fault with m68k,SJLJ and -malign-int

2023-09-03 Thread admin--- via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111279 Thorsten Otto changed: What|Removed |Added CC||ad...@tho-otto.de --- Comment #2 from

[Bug tree-optimization/96703] Failure to optimize combined comparison of variables and of variable with 0 to two comparisons with 0

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96703 --- Comment #2 from Andrew Pinski --- Hmm for ``` #define cst 0x1234 bool f(int x, int y) { return x > y && y == cst; } bool f0(int x, int y) { return x > cst && y == cst; } ``` currently for GCC on aarch64: ``` f: cmp w0,

[Bug tree-optimization/96702] Failure to optimize comparisons involving result of subtraction

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96702 --- Comment #5 from Andrew Pinski --- (In reply to Andrew Pinski from comment #4) > The pattern: > /* X - Y < X is the same as Y > 0 when there is no overflow. >For equality, this is also true with wrapping overflow. */ > (for op

[Bug tree-optimization/96702] Failure to optimize comparisons involving result of subtraction

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96702 --- Comment #4 from Andrew Pinski --- The pattern: /* X - Y < X is the same as Y > 0 when there is no overflow. For equality, this is also true with wrapping overflow. */ (for op (simple_comparison) (simplify (op:c @0 (minus@2 @0 @1))

[Bug tree-optimization/96702] Failure to optimize comparisons involving result of subtraction

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96702 --- Comment #3 from Andrew Pinski --- wait that is for unsigned types and we don't have an unsigned type here ..

[Bug tree-optimization/96702] Failure to optimize comparisons involving result of subtraction

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96702 --- Comment #2 from Andrew Pinski --- The comment says: /* To detect overflow in unsigned A - B, A < B is simpler than A - B > A. However, the detection logic for SUB_OVERFLOW in tree-ssa-math-opts.cc expects the long form, so we restrict

[Bug middle-end/90323] powerpc should convert equivalent sequences to vec_sel()

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90323 Andrew Pinski changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug tree-optimization/108757] We do not simplify (a - (N*M)) / N + M -> a / N

2023-09-03 Thread guojiufu at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108757 Jiu Fu Guo changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/108757] We do not simplify (a - (N*M)) / N + M -> a / N

2023-09-03 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108757 --- Comment #25 from CVS Commits --- The master branch has been updated by Jiu Fu Guo : https://gcc.gnu.org/g:1aceceb1e2d6e86ce183c8cc448750fa03b6f79e commit r14-3644-g1aceceb1e2d6e86ce183c8cc448750fa03b6f79e Author: Jiufu Guo Date: Mon

[Bug middle-end/98710] missing optimization (x | c) & ~(y | c) -> x & ~(y | c)

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

[Bug tree-optimization/111280] CLZ(0) generated when CLZ_DEFINED_VALUE_AT_ZERO is false

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111280 --- Comment #2 from Andrew Pinski --- Maybe during final_value_replacement_loop we should create a new BB for the COND_EXPR instead of creating GIMPLE_COND ...

[Bug tree-optimization/111280] CLZ(0) generated when CLZ_DEFINED_VALUE_AT_ZERO is false

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

[Bug tree-optimization/56003] SCEV should thread flags ^= 0x80000000 as an addition to discover an IV var.

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56003 Andrew Pinski changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug tree-optimization/96694] Failure to optimize min/max pattern using two binary nots to min/max pattern using one binary not

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96694 Andrew Pinski changed: What|Removed |Added Keywords||patch URL|

[Bug tree-optimization/111280] New: CLZ(0) generated when CLZ_DEFINED_VALUE_AT_ZERO is false

2023-09-03 Thread kristerw at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111280 Bug ID: 111280 Summary: CLZ(0) generated when CLZ_DEFINED_VALUE_AT_ZERO is false Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal

[Bug target/111279] ICE: Segmentation fault with m68k,SJLJ and -malign-int

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111279 --- Comment #1 from Andrew Pinski --- sjlj-exceptions is very much not tested as much as the others.

[Bug c++/111279] New: ICE: Segmentation fault with m68k,SJLJ and -malign-int

2023-09-03 Thread vincent.riviere at freesbee dot fr via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111279 Bug ID: 111279 Summary: ICE: Segmentation fault with m68k,SJLJ and -malign-int Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug tree-optimization/111275] ifcombine and reassociation does not like to produce `a ^ b` sometimes

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111275 Andrew Pinski changed: What|Removed |Added Depends on||95034 --- Comment #2 from Andrew

[Bug tree-optimization/103536] Suboptimal codegen for && and || combination.

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103536 Andrew Pinski changed: What|Removed |Added URL||patch --- Comment #5 from Andrew

[Bug middle-end/111278] error: call to ‘...’ declared with attribute error: code path is reachable with -Og, but not -O2

2023-09-03 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111278 --- Comment #5 from Sam James --- Created attachment 55836 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55836=edit reduced.i Clang seems to fail to build this reduced one with -O0 too, although -O1/-Og are ok there.

[Bug middle-end/98710] missing optimization (x | c) & ~(y | c) -> x & ~(y | c)

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98710 Andrew Pinski changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug middle-end/111278] error: call to ‘...’ declared with attribute error: code path is reachable with -Og, but not -O2

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

[Bug middle-end/111278] error: call to ‘...’ declared with attribute error: code path is reachable with -Og, but not -O2

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111278 Andrew Pinski changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|INVALID

[Bug middle-end/111278] error: call to ‘...’ declared with attribute error: code path is reachable with -Og, but not -O2

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

[Bug middle-end/111278] error: call to ‘...’ declared with attribute error: code path is reachable with -Og, but not -O2

2023-09-03 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111278 --- Comment #1 from Sam James --- 10/11/12/13/14 all seem to fail

[Bug middle-end/111278] New: error: call to ‘...’ declared with attribute error: code path is reachable with -Og, but not -O2

2023-09-03 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111278 Bug ID: 111278 Summary: error: call to ‘...’ declared with attribute error: code path is reachable with -Og, but not -O2 Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug c++/111277] New: braced-init-list allowed in a template-argument

2023-09-03 Thread janschultke at googlemail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111277 Bug ID: 111277 Summary: braced-init-list allowed in a template-argument Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component:

[Bug c++/57905] braced-init-list allowed in default template-argument

2023-09-03 Thread janschultke at googlemail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57905 Jan Schultke changed: What|Removed |Added CC||janschultke at googlemail dot com ---

[Bug tree-optimization/105832] [13/14 Regression] Dead Code Elimination Regression at -O3 (trunk vs. 12.1.0)

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

[Bug libfortran/111022] ES0.0E0 format gave ES0.dE0 output with d too high.

2023-09-03 Thread jvdelisle at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111022 --- Comment #17 from Jerry DeLisle --- Preliminary patch: diff --git a/libgfortran/io/write.c b/libgfortran/io/write.c index 5d47a6d25f7..aafbd96b65a 100644 --- a/libgfortran/io/write.c +++ b/libgfortran/io/write.c @@ -1784,8 +1784,6 @@

[Bug tree-optimization/111276] rewrite_to_defined_overflow rewrites already defined code

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

[Bug libstdc++/83077] sso-string @ gnu-versioned-namespace.

2023-09-03 Thread fdumont at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83077 --- Comment #10 from François Dumont --- This is because you are facing the PR65762 issue. I just attached a path proposal to it that you need to apply too to be able to run your test. You'll be even able to simply use

[Bug libstdc++/65762] --with-default-libstdcxx-abi=c++11 is silently ignored when --disable-libstdcxx-dual-abi is used

2023-09-03 Thread fdumont at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65762 --- Comment #3 from François Dumont --- Created attachment 55834 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55834=edit Patch proposal Here is a proposal that I'll submit on libstdc++ mailing list once PR83077 is fixed. Note that in

[Bug tree-optimization/111273] Spurious array-bounds error when copying data using _GLIBCXX_DEBUG iterators

2023-09-03 Thread jgrossma at qti dot qualcomm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111273 --- Comment #2 from J Grossman --- @Jonathan whether it's a warning or an error, it's incorrect. I'm filling a 1 element array with 1 element and it's saying it's out of bounds. That's a bug. I would like to use -Warray-bounds to catch coding

[Bug tree-optimization/111043] [14 regression] ICE in adjust_loop_info_after_peeling, at tree-ssa-loop-ivcanon.cc:1068

2023-09-03 Thread zhendong.su at inf dot ethz.ch via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111043 Zhendong Su changed: What|Removed |Added CC||zhendong.su at inf dot ethz.ch ---

[Bug tree-optimization/111275] ifcombine and reassociation does not like to produce `a ^ b` sometimes

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111275 --- Comment #1 from Andrew Pinski --- So I suspect this is basically the same issue as PR 67628.

[Bug tree-optimization/105832] [13/14 Regression] Dead Code Elimination Regression at -O3 (trunk vs. 12.1.0)

2023-09-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105832 --- Comment #16 from Andrew Pinski --- Created attachment 55833 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55833=edit Patch which I am testing