[Bug libstdc++/113159] More robust std::sort for silly comparator functions

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113159 --- Comment #20 from Gabriel Ravier --- > In general, why avoiding std::sort crashes is considered a good thing? > Wouldn't we just hide the error and produce invalid results causing harder to > debug errors later in user's program? The issue

[Bug c/116474] New: GCC somehow confuses "unsigned __int128_t" with a nested function

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116474 Bug ID: 116474 Summary: GCC somehow confuses "unsigned __int128_t" with a nested function Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal

[Bug c/96290] nonsensical bounds in VLA types in -Warray-bounds

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96290 --- Comment #3 from Gabriel Ravier --- Well, nonsensical from the point of view of the user - it didn't seem to be particularly different to me for the error to evoke an object as " + 1" when it just means a VLA and "" when it just means an empty

[Bug middle-end/116465] __builtin_eh_pointer ICEs when passed seemingly any argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116465 --- Comment #2 from Gabriel Ravier --- Looked into it a bit more and the root cause seems to be that gcc/tree-eh.cc:lower_eh_constructs_2, when attempting to handle the case where the user partakes in a little tomfoolery with its builtins (i.e.

[Bug middle-end/116465] __builtin_eh_pointer ICEs when passed seemingly any argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116465 --- Comment #1 from Gabriel Ravier --- (PS: I have no idea what this is caused by, somehow an assignment statement with no left hand side appears to be generated ?)

[Bug c/116465] New: __builtin_eh_pointer ICEs when passed seemingly any argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116465 Bug ID: 116465 Summary: __builtin_eh_pointer ICEs when passed seemingly any argument Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal

[Bug c/96290] nonsensical bounds in VLA types in -Warray-bounds

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96290 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug tree-optimization/116023] New: Failure to optimize (x+x)*(y+y) to (x*y)*4 when intermediate result is cast to larger type

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116023 Bug ID: 116023 Summary: Failure to optimize (x+x)*(y+y) to (x*y)*4 when intermediate result is cast to larger type Product: gcc Version: 15.0 Status: UNCONFIRMED

[Bug tree-optimization/115896] Failure to optimize shift+compare involving constants to and+compare

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115896 --- Comment #4 from Gabriel Ravier --- I'll add that the case of `(a << cst0) == cst1` (which LLVM handles but not GCC) seems relatively frequent in real code, e.g. after a few minutes I've found it in: - https://github.com/TASEmulators/BizHawk/

[Bug tree-optimization/115896] Failure to optimize shift+compare involving constants to and+compare

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115896 --- Comment #3 from Gabriel Ravier --- (PS: LLVM seems to do the `(cst0 << a) == cst1` transformation including when `cst1 == 0` since 59939acd2684708a1c617f9e42b2206956804bb6)

[Bug tree-optimization/115896] Failure to optimize shift+compare involving constants to and+compare

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115896 --- Comment #2 from Gabriel Ravier --- Also somewhat of an opposite to `(a << cst0) == cst1` is `(cst0 << a) == cst1`, which seems to be optimized by GCC in certain cases but not for `cst1 == 0`, which LLVM does for e.g.: #include bool f3(int

[Bug tree-optimization/115896] Failure to optimize shift+compare involving constants to and+compare

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115896 --- Comment #1 from Gabriel Ravier --- A generalization of this is that `(a << cst0) == cst1` should be foldable to `a == cst0 >> cst1`, leading to the much more obvious case of: bool f1(int8_t a) { int32_t b = a << 4; return b == -128;

[Bug tree-optimization/95817] Failure to optimize shift with constant to compare

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95817 --- Comment #3 from Gabriel Ravier --- A place where this does seem to give faster results in real code is code where multiple conditions like this are placed in a row, in e.g. the code at https://github.com/openbsd/xenocara/blob/0c50e27b4c04e035

[Bug tree-optimization/102392] Failure to optimize a sign extension to a zero extension

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102392 Gabriel Ravier changed: What|Removed |Added Target|X86_64-linux-gnu|x86_64-linux-gnu Version|12

[Bug tree-optimization/115924] New: Failure to optimize back and forth shifts of several operands by the same amount with operations in the middle to ands

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115924 Bug ID: 115924 Summary: Failure to optimize back and forth shifts of several operands by the same amount with operations in the middle to ands Product: gcc Versi

[Bug c++/102623] Failure to detect destructed scalar objects in consteval function

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102623 --- Comment #3 from Gabriel Ravier --- Seems fixed on trunk ?

[Bug middle-end/102580] Failure to optimize signed division to unsigned division when dividend can't be negative

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102580 --- Comment #8 from Gabriel Ravier --- Seems to be fixed on trunk ?

[Bug target/95762] Failure to optimize __builtin_convertvector from vector of 16 chars to vector of 16 shorts in a single instruction on AVX2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95762 --- Comment #6 from Gabriel Ravier --- Seems fixed on trunk ?

[Bug tree-optimization/95230] Failure to optimize bit-scatter pattern to and 1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95230 --- Comment #6 from Gabriel Ravier --- Oh oops, I was looking at -O3 output instead of -O2.

[Bug tree-optimization/95230] Failure to optimize bit-scatter pattern to and 1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95230 --- Comment #4 from Gabriel Ravier --- Seems to be fixed on trunk ?

[Bug tree-optimization/115896] New: Failure to optimize shift+compare involving constants to and+compare

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115896 Bug ID: 115896 Summary: Failure to optimize shift+compare involving constants to and+compare Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal

[Bug ipa/114408] New: Crash when invoking strcmp multiple times with -fsanitize=undefined -O1 -fanalyzer -flto

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114408 Bug ID: 114408 Summary: Crash when invoking strcmp multiple times with -fsanitize=undefined -O1 -fanalyzer -flto Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug rtl-optimization/114176] New: Failure to optimize out useless stack spill when array is present in union

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114176 Bug ID: 114176 Summary: Failure to optimize out useless stack spill when array is present in union Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: nor

[Bug c++/113812] Comma expression parsed as declaration when ambiguous type name cast is present

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113812 --- Comment #2 from Gabriel Ravier --- Also I guess this is a simpler minimal example: void f(int x) { int(x), 0; }

[Bug c++/113812] New: Comma expression parsed as declaration when ambiguous type name cast is present

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113812 Bug ID: 113812 Summary: Comma expression parsed as declaration when ambiguous type name cast is present Product: gcc Version: 14.0 Status: UNCONFIRMED Severity

[Bug c/113650] New: __builtin_nonlocal_goto ICEs when passed 0 as arguments

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113650 Bug ID: 113650 Summary: __builtin_nonlocal_goto ICEs when passed 0 as arguments Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Prior

[Bug middle-end/107845] __builtin_init_trampoline ICEs on invalid arguments

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107845 --- Comment #2 from Gabriel Ravier --- I'll add that the new `__builtin_init_heap_trampoline` builtin also ICEs when given the same arguments, presumably for the same reasons (thus, an extra bug report doesn't seem very useful)

[Bug c/113647] New: __builtin_eh_return_data_regno ICEs when passed -1 as argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113647 Bug ID: 113647 Summary: __builtin_eh_return_data_regno ICEs when passed -1 as argument Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal

[Bug c/29970] mixing ({...}) with VLA leads to massive breakage

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=29970 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug middle-end/111378] Missed optimization for comparing with exact_log2 constants

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111378 --- Comment #5 from Gabriel Ravier --- It does seem as though this transformation is not particularly favorable on most platforms. In fact, it seems as though the opposite transformation (which Clang does on many targets, along with MSVC) would

[Bug c/113262] New: ICE when using [[gnu::copy("")]] attribute

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113262 Bug ID: 113262 Summary: ICE when using [[gnu::copy("")]] attribute Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c

[Bug middle-end/109986] missing fold (~a | b) ^ a => ~(a & b)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109986 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug tree-optimization/94911] Failure to optimize comparisons of VLA sizes

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94911 --- Comment #5 from Gabriel Ravier --- Also, as an extra note, w.r.t. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94911#c3, I've just noticed that I had indeed made a separate bug report at https://gcc.gnu.org/PR94912 (which ended up being close

[Bug target/104375] [x86] Failure to recognize bzhi pattern when shr is present

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104375 --- Comment #4 from Gabriel Ravier --- So should the bug be marked as fixed or... ?

[Bug tree-optimization/98966] Failure to optimize conditional or with 1 based on boolean condition to direct or

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98966 --- Comment #3 from Gabriel Ravier --- Appears to be fixed on trunk.

[Bug tree-optimization/96930] Failure to optimize out arithmetic with bigger size when it can't matter with division transformed into right shift

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96930 --- Comment #11 from Gabriel Ravier --- It appears like this is fixed on trunk, I think ?

[Bug rtl-optimization/96692] Failure to optimize xor+or+xor to andnot+xor

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96692 --- Comment #3 from Gabriel Ravier --- This seems to be fixed on trunk now, I think ?

[Bug target/95427] Failure to avoid emitting rbp initialization when doing 256-bit memory store

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95427 --- Comment #2 from Gabriel Ravier --- Still appears to be fixed on trunk.

[Bug tree-optimization/94908] Failure to optimally optimize certain shuffle patterns

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94908 --- Comment #3 from Gabriel Ravier --- Looks like this gives much better output now.

[Bug tree-optimization/94899] Failure to optimize out add before compare with INT_MIN

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94899 --- Comment #7 from Gabriel Ravier --- I don't know if I've missed something obvious but this still appears to be fixed.

[Bug tree-optimization/94782] Simple multiplication-related arithmetic not optimized to direct multiplication

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94782 --- Comment #2 from Gabriel Ravier --- Appears to be fixed on trunk.

[Bug tree-optimization/90838] Detect table-based ctz implementation

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90838 --- Comment #19 from Gabriel Ravier --- (In reply to Jakub Jelinek from comment #14) > The patch does: > +  bool zero_ok = CTZ_DEFINED_VALUE_AT_ZERO (TYPE_MODE (type), ctzval) > == 2; > + > +  /* Skip if there is no value defined at zero,

[Bug tree-optimization/90838] Detect table-based ctz implementation

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90838 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug tree-optimization/92342] [10/11/12/13 Regression] a small missed transformation into x?b:0

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92342 --- Comment #29 from Gabriel Ravier --- Looks like the patch fixes this bug, unless I'm missing something.

[Bug middle-end/107115] Wrong codegen from TBAA under stores that change effective type?

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107115 --- Comment #14 from Gabriel Ravier --- Actually I think there's some aliasing violations in the C++ code w.r.t. the re-usage of `p4` after another object has been created in its place so I think this code would be more correct: void test1(long

[Bug middle-end/107115] Wrong codegen from TBAA under stores that change effective type?

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107115 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug c/107845] New: __builtin_init_trampoline ICEs on invalid arguments

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107845 Bug ID: 107845 Summary: __builtin_init_trampoline ICEs on invalid arguments Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Compone

[Bug c/107840] New: ICE when compiling cursed setjmp/longjmp that uses __builtin_call_with_static_chain

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107840 Bug ID: 107840 Summary: ICE when compiling cursed setjmp/longjmp that uses __builtin_call_with_static_chain Product: gcc Version: 13.0 Status: UNCONFIRMED Seve

[Bug c/106535] GCC doesn't reject non-constant initializer if -pedantic is specified but does so in any other circumstances

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106535 --- Comment #3 from Gabriel Ravier --- Considering the comment appears to be from 1993 (see commit d9fc6069c69564ce7fecd9ca0ce1bbe0b3c130ef), it having become wrong since then doesn't seem particularly surprising :p

[Bug c/106535] GCC doesn't reject non-constant initializer if -pedantic is specified but does so in any other circumstances

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106535 Gabriel Ravier changed: What|Removed |Added Keywords||accepts-invalid, |

[Bug c/106535] New: GCC doesn't reject non-constant initializer if -pedantic is specified but does so in any other circumstances

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106535 Bug ID: 106535 Summary: GCC doesn't reject non-constant initializer if -pedantic is specified but does so in any other circumstances Product: gcc Version: 13.0

[Bug tree-optimization/94920] Failure to optimize abs pattern from arithmetic with selected operands based on comparisons with 0

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94920 --- Comment #4 from Gabriel Ravier --- So, is this fully fixed, or did I miss something ?

[Bug tree-optimization/106245] New: Failure to optimize (u8)(a << 7) >> 7 pattern to a & 1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106245 Bug ID: 106245 Summary: Failure to optimize (u8)(a << 7) >> 7 pattern to a & 1 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Comp

[Bug tree-optimization/106244] New: Failure to optimize (1 << x) & 1 to `x == 0` if separated into multiple statements

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106244 Bug ID: 106244 Summary: Failure to optimize (1 << x) & 1 to `x == 0` if separated into multiple statements Product: gcc Version: 13.0 Status: UNCONFIRMED Sever

[Bug tree-optimization/106243] New: Failure to optimize (0 - x) & 1 on vector type

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106243 Bug ID: 106243 Summary: Failure to optimize (0 - x) & 1 on vector type Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: t

[Bug tree-optimization/94899] Failure to optimize out add before compare with INT_MIN

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94899 --- Comment #6 from Gabriel Ravier --- Can confirm that this appears to be fixed.

[Bug tree-optimization/105983] New: Failure to optimize (b != 0) && (a >= b) as well as the same pattern with binary and

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105983 Bug ID: 105983 Summary: Failure to optimize (b != 0) && (a >= b) as well as the same pattern with binary and Product: gcc Version: 13.0 Status: UNCONFIRMED Sev

[Bug tree-optimization/105777] New: Failure to optimize __builtin_mul_overflow with constant operand to add+cmp check

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105777 Bug ID: 105777 Summary: Failure to optimize __builtin_mul_overflow with constant operand to add+cmp check Product: gcc Version: 13.0 Status: UNCONFIRMED Severi

[Bug tree-optimization/105776] New: Failure to recognize __builtin_mul_overflow pattern

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105776 Bug ID: 105776 Summary: Failure to recognize __builtin_mul_overflow pattern Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Compone

[Bug target/105773] New: [Aarch64] Failure to optimize and+cmp to tst

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105773 Bug ID: 105773 Summary: [Aarch64] Failure to optimize and+cmp to tst Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tar

[Bug tree-optimization/102583] [x86] Failure to optimize 32-byte integer vector conversion to 16-byte float vector properly when converting upper part with -mavx2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102583 --- Comment #7 from Gabriel Ravier --- Can confirm it is indeed fixed

[Bug target/105328] New: [x86] Failure to optimize out test instruction after add

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105328 Bug ID: 105328 Summary: [x86] Failure to optimize out test instruction after add Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Prio

[Bug target/104412] New: [Aarch64] Failure to optimize vector initialization from int64s

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104412 Bug ID: 104412 Summary: [Aarch64] Failure to optimize vector initialization from int64s Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[Bug target/104409] New: [Aarch64] Crash when compiling source code of any significant size with -march=armv8.7-a

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104409 Bug ID: 104409 Summary: [Aarch64] Crash when compiling source code of any significant size with -march=armv8.7-a Product: gcc Version: 12.0 Status: UNCONFIRMED

[Bug target/104401] New: [x86] Failure to recognize min/max pattern using pcmp+pblendv

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104401 Bug ID: 104401 Summary: [x86] Failure to recognize min/max pattern using pcmp+pblendv Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[Bug tree-optimization/104394] New: Failure to optimize vector pattern for x < 0

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104394 Bug ID: 104394 Summary: Failure to optimize vector pattern for x < 0 Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tre

[Bug target/104371] [x86] Failure to use optimize pxor+pcmpeqb+pmovmskb+cmp 0xFFFF pattern to ptest

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104371 --- Comment #2 from Gabriel Ravier --- Although I agree the pattern doesn't seem that useful at first, I've seen it crop up in several places, such as: - in pixman: https://github.com/servo/pixman/blob/master/pixman/pixman-sse2.c on line 181 -

[Bug tree-optimization/104376] New: Failure to optimize clz equivalent to clz

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104376 Bug ID: 104376 Summary: Failure to optimize clz equivalent to clz Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-o

[Bug target/104375] New: [x86] Failure to recognize bzhi patter nwhen shr is present

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104375 Bug ID: 104375 Summary: [x86] Failure to recognize bzhi patter nwhen shr is present Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal P

[Bug target/104371] New: [x86] Failure to use optimize pxor+pcmpeqb+pmovmskb+cmp 0xFFFF pattern to ptest

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104371 Bug ID: 104371 Summary: [x86] Failure to use optimize pxor+pcmpeqb+pmovmskb+cmp 0x pattern to ptest Product: gcc Version: 12.0 Status: UNCONFIRMED Severity

[Bug tree-optimization/104360] New: Failure to optimize abs pattern on vector types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104360 Bug ID: 104360 Summary: Failure to optimize abs pattern on vector types Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component:

[Bug target/104357] New: [Aarch64] Failure to use csinv instead of mvn+csel where possible

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104357 Bug ID: 104357 Summary: [Aarch64] Failure to use csinv instead of mvn+csel where possible Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[Bug target/104315] [AArch64] Failure to optimize 8-bit bitreverse pattern

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104315 --- Comment #1 from Gabriel Ravier --- PS: I've just stumbled upon the more generic case, which would be this code: unsigned int stb_bitreverse(unsigned int n) { n = ((n & 0x) >> 1) | ((n & 0x) << 1); n = ((n & 0x)

[Bug target/104315] New: [AArch64] Failure to optimize 8-bit bitreverse pattern

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104315 Bug ID: 104315 Summary: [AArch64] Failure to optimize 8-bit bitreverse pattern Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Comp

[Bug middle-end/96159] atomic creates incorrect code for possible isaligned struct

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96159 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug c/103343] Invalid codegen when comparing pointer to one past the end and then dereferencing that pointer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103343 --- Comment #3 from Gabriel Ravier --- Well the code does not invoke undefined behavior here, it just so happens that `p == (x + 1)` because `y` happens to be laid out in memory after `x` (note: this isn't a guarantee, of course, but GCC can't p

[Bug c/103343] New: Invalid codegen when comparing pointer to one past the end and then dereferencing that pointer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103343 Bug ID: 103343 Summary: Invalid codegen when comparing pointer to one past the end and then dereferencing that pointer Product: gcc Version: 12.0 Status: UNCONFIRMED

[Bug c/102939] Ridiculously long compilation times on (admittedly itself ridiculous) pointer declaration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102939 --- Comment #4 from Gabriel Ravier --- (In reply to Hans-Peter Nilsson from comment #3) > (In reply to Gabriel Ravier from comment #0) > ... > > #define PTR4 PTR3 PTR3 PTR3 PTR3 PTR3 PTR3 PTR3 PTR3 PTR3 PTR3 > > #define PTR5 PTR4 PTR4 PTR4 PTR4

[Bug c/102939] New: Ridiculously long compilation times on (admittedly ridiculous) pointer declaration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102939 Bug ID: 102939 Summary: Ridiculously long compilation times on (admittedly ridiculous) pointer declaration Product: gcc Version: 11.2.1 Status: UNCONFIRMED Sev

[Bug tree-optimization/102927] Failure to optimize series of if-else to use array when possible

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102927 --- Comment #5 from Gabriel Ravier --- Um, what ? How is this invalid, exactly ? Are you saying foo is faster than baz (in which case it seems the opposite optimization should be implemented for baz and bar), or that this optimization just won't

[Bug tree-optimization/102927] New: Failure to optimize series of if-else to use array when possible

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102927 Bug ID: 102927 Summary: Failure to optimize series of if-else to use array when possible Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[Bug c++/31573] -Wall-all to enable all warnings

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31573 --- Comment #11 from Gabriel Ravier --- Well, that does help, although it is still a significant annoyance that would take more than its fair share of time to handle. (Also, is it still really that much of a concern anymore that users would thin

[Bug c++/31573] -Wall-all to enable all warnings

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31573 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug c++/102820] New: Failure to compile void{}

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102820 Bug ID: 102820 Summary: Failure to compile void{} Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee

[Bug rtl-optimization/15792] missed subreg optimization

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=15792 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug target/102758] New: [x86] Failure to use registers optimally when swapping between (identically represented) vector types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102758 Bug ID: 102758 Summary: [x86] Failure to use registers optimally when swapping between (identically represented) vector types Product: gcc Version: 12.0 Status: UNCONFIR

[Bug target/95740] Failure to avoid using the stack when interpreting a float as an integer when it is modified afterwards

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95740 --- Comment #3 from Gabriel Ravier --- I've also encountered what looks like a duplicate of this bug, although I'm not sure but it seems likely: int foo(float f) { union { float f; int i; } z = { .f = f }; return z.i - 1; } Whi

[Bug tree-optimization/102738] New: Failure to optimize right shift of 128-bit value after it's already been shifted by 127

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102738 Bug ID: 102738 Summary: Failure to optimize right shift of 128-bit value after it's already been shifted by 127 Product: gcc Version: 12.0 Status: UNCONFIRMED

[Bug target/102737] New: [x86] Failure to optimize out bad register usage involving int->double conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102737 Bug ID: 102737 Summary: [x86] Failure to optimize out bad register usage involving int->double conversion Product: gcc Version: 12.0 Status: UNCONFIRMED Severi

[Bug tree-optimization/102679] New: Failure to optimize out 64-bit multiplication to 32-bit multiplication when possible in circumstances involving modifying a 64-bit variable that gets converted to 3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102679 Bug ID: 102679 Summary: Failure to optimize out 64-bit multiplication to 32-bit multiplication when possible in circumstances involving modifying a 64-bit variable that gets

[Bug tree-optimization/102676] Failure to optimize out malloc/nothrow allocation that's only used for bool checking

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102676 --- Comment #2 from Gabriel Ravier --- Well, I think the assumption LLVM is making is that the allocation, being unused, can just be eliminated and considered to have always succeeded. I don't see how that would contradict the standard, although

[Bug tree-optimization/102676] New: Failure to optimize out malloc/nothrow allocation that's only used for bool checking

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102676 Bug ID: 102676 Summary: Failure to optimize out malloc/nothrow allocation that's only used for bool checking Product: gcc Version: 12.0 Status: UNCONFIRMED Sev

[Bug target/102672] New: [AArch64] Failure to optimize to using stp instead of 2 strs when possible

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102672 Bug ID: 102672 Summary: [AArch64] Failure to optimize to using stp instead of 2 strs when possible Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: nor

[Bug c++/102623] New: Failure to detect destructed scalar objects in consteval function

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102623 Bug ID: 102623 Summary: Failure to detect destructed scalar objects in consteval function Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[Bug target/102591] Failure to optimize search for value in vector-sized area to use SIMD

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102591 --- Comment #2 from Gabriel Ravier --- memcpy can fail on unaligned memory ??? I used it specifically to avoid this problem ! (also, LLVM's code, I am pretty sure, does not have any issue with alignment, as it uses either AVX instructions which

[Bug target/102591] New: Failure to optimize search for value in vector-sized area to use SIMD

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102591 Bug ID: 102591 Summary: Failure to optimize search for value in vector-sized area to use SIMD Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[Bug target/85730] complex code for modifying lowest byte in a 4-byte vector

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85730 --- Comment #4 from Gabriel Ravier --- That's a bit odd, really - I'm just using the latest released sub-versions of each of these (except for GCC 6 since I only have access to it through Godbolt which doesn't have GCC 6.5), i.e. GCC 6.4, 7.5, 8.

[Bug target/85730] complex code for modifying lowest byte in a 4-byte vector

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85730 Gabriel Ravier changed: What|Removed |Added CC||gabravier at gmail dot com --- Comment

[Bug target/102583] New: [x86] Failure to optimize 32-byte integer vector conversion to 16-byte float vector properly when converting upper part with -mavx2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102583 Bug ID: 102583 Summary: [x86] Failure to optimize 32-byte integer vector conversion to 16-byte float vector properly when converting upper part with -mavx2 Product: gcc

[Bug tree-optimization/102580] New: Failure to optimize signed division to unsigned division when dividend can't be negative

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102580 Bug ID: 102580 Summary: Failure to optimize signed division to unsigned division when dividend can't be negative Product: gcc Version: 12.0 Status: UNCONFIRMED

  1   2   3   >