[Bug tree-optimization/91191] vrp and boolean arguments

2021-03-02 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91191 --- Comment #9 from Jeffrey A. Law --- Yea, I think so -- which would be undefined because the sizes are different according to the docs you referenced. Which would also invalidate part of my responses in c#5 and c#7. It sounds like something

[Bug tree-optimization/80635] [8/9/10/11 regression] std::optional and bogus -Wmaybe-uninitialized warning

2021-02-18 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635 --- Comment #57 from Jeffrey A. Law --- Below is a POC for improving the uninit analysis to handle this kind of case. It's not complete. In particular it does not ensure that the we have the same result on the RHS and LHS of the V_C_E.

[Bug middle-end/87489] [8/9/10/11 Regression] Spurious -Wnonnull warning

2021-02-18 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87489 Jeffrey A. Law changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |law at gcc dot gnu.org Target

[Bug tree-optimization/86010] [8 Regression] redundant memset with smaller size not eliminated

2021-02-15 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86010 --- Comment #14 from Jeffrey A. Law --- I believe it's still an issue for gcc-8

[Bug tree-optimization/92539] [8/9/10/11 Regression] -Warray-bounds false positive with -O3 (loop unroll?)

2021-02-14 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92539 --- Comment #6 from Jeffrey A. Law --- I wonder if we're looking at this the wrong way. We have several blocks with this kind of structure: [local count: 30530247]: if (last_12 != [(void *)"aa" + 3B]) goto ; [54.59%] else goto

[Bug ipa/98594] [11 Regression] IPA modref codegen bug

2021-02-02 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98594 --- Comment #6 from Jeffrey A. Law --- Duh. I should have seen the reinterpret_cast as a red flag on this one. And not surprising -fno-strict-aliasing makes the glm testsuite happy. Sorry for the noise.

[Bug rtl-optimization/96015] [10/11 Regression] gcc-10.1.0 miscompiles Python on hppa

2021-01-14 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96015 --- Comment #38 from Jeffrey A. Law --- sparc might be able to trip this.

[Bug middle-end/98465] Bogus warning stringop-overread wuth -std=gnu++20 -O2 and std::string::insert

2021-01-13 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98465 Jeffrey A. Law changed: What|Removed |Added CC||law at redhat dot com --- Comment #10

[Bug ipa/98594] New: [11 Regression] IPA modref codegen bug

2021-01-07 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98594 Bug ID: 98594 Summary: [11 Regression] IPA modref codegen bug Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ipa

[Bug tree-optimization/95663] static_cast checks for null even when the pointer is dereferenced

2021-01-07 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95663 --- Comment #18 from Jeffrey A. Law --- Jon, there's no way for the optimizers to improve the to_derived_bad case as there's nothing in the IL after we leave the front-end that's useful. In the .original dump we have: ;; Function derived&

[Bug target/98585] New: [11 Regression] target attribute resets cmodel on x86

2021-01-07 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98585 Bug ID: 98585 Summary: [11 Regression] target attribute resets cmodel on x86 Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug target/95381] [11 Regression]: Build fails with --disable-bootstrap on m68k with ICE: in operator[], at vec.h:867

2021-01-04 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95381 Jeffrey A. Law changed: What|Removed |Added Status|WAITING |NEW --- Comment #16 from Jeffrey A.

[Bug target/95381] [11 Regression]: Bootstrap on m68k fails with ICE: in operator[], at vec.h:867

2020-12-30 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95381 --- Comment #12 from Jeffrey A. Law --- On 12/30/20 10:30 AM, glaubitz at physik dot fu-berlin.de wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95381 > > --- Comment #11 from John Paul Adrian Glaubitz fu-berlin.de> --- > (In reply to

[Bug target/95381] [11 Regression]: Bootstrap on m68k fails with ICE: in operator[], at vec.h:867

2020-12-29 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95381 --- Comment #10 from Jeffrey A. Law --- So if that bisection is accurate, the only way this could be failing would be if something with a deprecated attribute is being used. Maybe some printfs in warn_deprecated_use? But again, I'm a bit

[Bug tree-optimization/91191] vrp and boolean arguments

2020-12-04 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91191 --- Comment #7 from Jeffrey A. Law --- If you're V_C_E-ing to a narrower type, you just ignore the bits outside the target type, it's a lot like a narrowing subreg in the RTL world. I don't know what the semantics are for the widening case.

[Bug tree-optimization/91191] vrp and boolean arguments

2020-12-04 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91191 --- Comment #5 from Jeffrey A. Law --- The best way to think about V_C_E is that it's the same bits, just viewed in a different type whereas a cast can do things like sign/zero extension, truncation of floating point values to integers, etc).

[Bug middle-end/19987] [meta-bug] fold missing optimizations in general

2020-12-01 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=19987 Bug 19987 depends on bug 96708, which changed state. Bug 96708 Summary: Failure to optimize max pattern with comparison when using a temporary variable https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96708 What|Removed

[Bug tree-optimization/96708] Failure to optimize max pattern with comparison when using a temporary variable

2020-12-01 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96708 Jeffrey A. Law changed: What|Removed |Added CC||law at redhat dot com

[Bug middle-end/19987] [meta-bug] fold missing optimizations in general

2020-11-30 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=19987 Bug 19987 depends on bug 96679, which changed state. Bug 96679 Summary: Failure to optimize or+and+or pattern to and+or https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96679 What|Removed |Added

[Bug tree-optimization/96679] Failure to optimize or+and+or pattern to and+or

2020-11-30 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96679 Jeffrey A. Law changed: What|Removed |Added CC||law at redhat dot com

[Bug target/97928] -fstack-clash-protection probe miss

2020-11-23 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97928 Jeffrey A. Law changed: What|Removed |Added Last reconfirmed||2020-11-23 Ever confirmed|0

[Bug tree-optimization/80635] [8/9/10/11 regression] std::optional and bogus -Wmaybe-uninitialized warning

2020-11-16 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635 --- Comment #55 from Jeffrey A. Law --- So to summarize some thoughts from Richi from last year. Converting the V_C_E into a NOP_EXPR is undesirable as the truncation becomes sub-optimal because we end up with an additional masking operation.

[Bug c++/91318] [C++][PATCH] warnings about unused internal macros with -Wunused-macros and #pragma GCC optimize

2020-11-13 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91318 Jeffrey A. Law changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug c/89180] [meta-bug] bogus/missing -Wunused warnings

2020-11-13 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89180 Bug 89180 depends on bug 91318, which changed state. Bug 91318 Summary: [C++][PATCH] warnings about unused internal macros with -Wunused-macros and #pragma GCC optimize https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91318 What

[Bug pch/86674] -W(no)-error=invalid-pch does not affect incorrect language warning

2020-11-12 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86674 Jeffrey A. Law changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC|

[Bug middle-end/97804] ICE in output_constructor_register_field varasm.c:5407

2020-11-11 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97804 --- Comment #1 from Jeffrey A. Law --- Created attachment 49550 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49550=edit Testcase

[Bug middle-end/97804] New: ICE in output_constructor_register_field varasm.c:5407

2020-11-11 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97804 Bug ID: 97804 Summary: ICE in output_constructor_register_field varasm.c:5407 Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal

[Bug tree-optimization/97108] Wmaybe-uninitialized false positive

2020-11-06 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97108 Jeffrey A. Law changed: What|Removed |Added CC||law at redhat dot com

[Bug libgcc/96948] _Unwind_GetIP() and _Unwind_GetIPInfo() empty in _Unwind_Backtrace() with SEH on mingw64

2020-11-06 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96948 Jeffrey A. Law changed: What|Removed |Added CC||law at redhat dot com

[Bug target/91489] misplaced stack pointer when __ms_hook_prologue__ attribute is used

2020-11-06 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91489 Jeffrey A. Law changed: What|Removed |Added Resolution|--- |FIXED Status|WAITING

[Bug middle-end/19987] [meta-bug] fold missing optimizations in general

2020-11-05 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=19987 Bug 19987 depends on bug 96701, which changed state. Bug 96701 Summary: Failure to optimize self right-shift to 0 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96701 What|Removed |Added

[Bug tree-optimization/96701] Failure to optimize self right-shift to 0

2020-11-05 Thread law at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96701 Jeffrey A. Law changed: What|Removed |Added CC||law at redhat dot com