[Bug c++/70076] no exception for excess initializer elements in a multidimensional VLA

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70076 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug c++/70588] SIGBUS on a VLA larger than SIZE_MAX / 2

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70588 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org ---

[Bug tree-optimization/80420] missing -Wformat-overfow on snprintf with excessive bound

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80420 Martin Sebor changed: What|Removed |Added Blocks||85741 Status|ASSIGNED

[Bug c++/83430] missing warning for specifying larger snprintf bound than destination size

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83430 Martin Sebor changed: What|Removed |Added CC|msebor at gcc dot gnu.org | Assignee|msebor at gcc

[Bug c++/84318] [9/10/11/12 Regression] attribute deprecated on function templates different than class templates

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84318 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug tree-optimization/84050] [9/10/11/12 Regression] missing -Warray-bounds accessing a struct array member

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84050 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug middle-end/104076] bogus -Wdangling-pointer on a conditional

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104076 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug middle-end/104069] -Werror=use-after-free false positive on elfutils-0.186

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104069 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug middle-end/101665] -fno-delete-null-pointer checks ineffective for attribute nonnull parameters

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101665 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug tree-optimization/99475] [10/11 Regression] bogus -Warray-bounds accessing an array element of empty structs

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99475 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug c/99295] [9 Regression] documentation on __attribute__((malloc)) is wrong

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99295 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug tree-optimization/99121] [9/10/11 Regression] ICE tree check: expected integer_cst, have var_decl in get_len, at tree.h:6037

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99121 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug tree-optimization/97631] [10 Regression] bogus "writing one too many bytes" warning for memcpy with strlen argument

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97631 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug c/97548] [11 Regression] bogus -Wvla-parameter on a bound expression involving a parameter

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97548 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug c/101604] [meta-bug] bogus/missing -Wvla-parameter

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101604 Bug 101604 depends on bug 97548, which changed state. Bug 97548 Summary: [11 Regression] bogus -Wvla-parameter on a bound expression involving a parameter https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97548 What|Removed

[Bug c/101289] [11 Regression] bogus -Wvla-paramater warning when using const for vla param

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101289 Bug 101289 depends on bug 97548, which changed state. Bug 97548 Summary: [11 Regression] bogus -Wvla-parameter on a bound expression involving a parameter https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97548 What|Removed

[Bug tree-optimization/96963] [10 Regression] -Wstringop-overflow false positive on -O3 or -O2 -ftree-vectorize when assigning consecutive char struct members

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96963 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW --- Comment #14 from Martin Sebor --

[Bug c/96171] [10 Regression] ICE on invalid VLA argument declaration and attribute access

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96171 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug middle-end/95189] [9 Regression] memcmp being wrongly stripped like strcmp

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95189 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug middle-end/95072] [10/11/12 Regression] -Warray-bounds false positive with flexible array bounds (regression from GCC 9)

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95072 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug c++/94923] False positive -Wclass-memaccess with trivially copyable std::optional

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94923 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/94655] [10 Regression] -Wstringop-overflow on implicit string assignment with vectorized char store

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94655 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug c++/94346] [9 Regression] ICE due to handle_copy_attribute since r9-3982

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94346 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug c/94040] [9 Regression] ICE on a call to an invalid redeclaration of strftime

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94040 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug ipa/92799] [9 Regression] ICE on a weakref function definition followed by a declaration

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92799 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/91848] missing warning on strcpy past the end of a member of an array with variable index

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91848 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug middle-end/91584] [9 Regression] Bogus warning from -Warray-bounds during string assignment

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91584 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug middle-end/91490] [9 Regression] bogus argument missing terminating nul warning on strlen of a flexible array member

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91490 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug tree-optimization/91147] strlen of conditional plus index in known range not folded

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91147 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug c++/91076] wrong class-key in mentioned in a diagnostic note

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91076 Martin Sebor changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug driver/90983] [9 Regression] manual documents `-Wno-stack-usage` flag, but it is unrecognized

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90983 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/90959] hash_map can be copied but leads to a double-free after assignment

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90959 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug middle-end/90904] vec assignment and copying undefined

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90904 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug tree-optimization/90752] missing -Warray-bounds accessing the result of string functions

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90752 Martin Sebor changed: What|Removed |Added Target Milestone|--- |12.0 Status|ASSIGNED

[Bug tree-optimization/56456] [meta-bug] bogus/missing -Warray-bounds

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 90752, which changed state. Bug 90752 Summary: missing -Warray-bounds accessing the result of string functions https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90752 What|Removed |Added ---

[Bug tree-optimization/89678] Bogus -Wstringop-truncation on strncat with bound that depends on strlen of source

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89678 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug middle-end/88780] [9/10/11/12 Regression] bogus -Wstringop-truncation for copying as many bytes from a string as its length

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88780 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug tree-optimization/88771] Misleading -Werror=array-bounds error

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88771 Martin Sebor changed: What|Removed |Added CC|msebor at gcc dot gnu.org | Status|ASSIGNED

[Bug middle-end/88059] Spurious stringop-overflow warning with strlen, malloc and strncpy

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88059 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug tree-optimization/87034] [9/10/11/12 Regression] missing -Wformat-overflow on a sprintf %s with a wide string

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87034 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug tree-optimization/85650] Additional warnings when -fsanitize=undefined is used with -Wstringop-truncation

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85650 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug ipa/84603] -finline-limit not accepted in attribute and #pragma optimize

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84603 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug tree-optimization/84577] snprintf with null buffer not eliminated when return value is in a known range

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84577 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Known to fail|

[Bug tree-optimization/84561] -Wstringop-truncation with -O2 depends on strncpy's size type

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84561 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug c++/83429] Incorrect line number reported by -Wformat-truncation

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83429 Martin Sebor changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/82608] missing -Warray-bounds on an out-of-bounds VLA index

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82608 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug middle-end/82601] missing uninitialized warning for INTENT(OUT) argument with -O0 / -Og

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82601 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW CC|msebor at gcc dot

[Bug c/79554] Zero length format string passed to fprintf under if statement causes error message

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79554 Martin Sebor changed: What|Removed |Added Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug middle-end/77721] -Wformat-truncation not uses arg range for converted vars

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77721 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Blocks|

[Bug tree-optimization/85741] [meta-bug] bogus/missing -Wformat-overflow

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85741 Bug 85741 depends on bug 77721, which changed state. Bug 77721 Summary: -Wformat-truncation not uses arg range for converted vars https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77721 What|Removed |Added --

[Bug middle-end/71319] unnecessary call to __strcat_chk emitted after buffer reset

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71319 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug c++/69517] SEGV on a VLA with excess initializer elements

2022-03-17 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69517 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|msebor at gcc dot

[Bug middle-end/104854] -Wstringop-overread should not warn for strnlen, strndup and strncmp

2022-03-18 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104854 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug tree-optimization/104970] [12 Regression] ICE in execute_todo, at passes.cc:2133 since r12-6480-gea19c8f33a3a8d2b

2022-03-21 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104970 --- Comment #4 from Martin Sebor --- The VLA bounds were removed from parameter declarations in the fix for pr97172; there weren't relied on by middle-end warnings then and still aren't today.

[Bug tree-optimization/104970] [12 Regression] ICE in execute_todo, at passes.cc:2133 since r12-6480-gea19c8f33a3a8d2b

2022-03-21 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104970 --- Comment #5 from Martin Sebor --- Incidentally, __builtin_dynamic_object_size returns the size of a VLA parameter in both mininum and maximum modes. In f0 below, the size of the A array is at least N bytes but it could be more, so based on m

[Bug tree-optimization/104970] [12 Regression] ICE in execute_todo, at passes.cc:2133 since r12-6480-gea19c8f33a3a8d2b

2022-03-21 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104970 --- Comment #7 from Martin Sebor --- The dollar sign in the internal attr_access string implies a VLA bound and the attr_access::vla_bounds() function queries the VLA bounds. That should make it possible to distinguish the two cases. Unlike th

[Bug tree-optimization/104970] [12 Regression] ICE in execute_todo, at passes.cc:2133 since r12-6480-gea19c8f33a3a8d2b

2022-03-23 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104970 --- Comment #10 from Martin Sebor --- The purpose of the internal_p flag documented in the attr_access class is more general than to tell a VLA-like argument from an ordinary array/pointer form ("Set for an attribute added internally rather than

[Bug tree-optimization/106297] [12/13 Regression] stringop-overflow misbehaviour on atomic since r12-4725-g88b504b7a8c5affb

2022-07-28 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106297 Martin Sebor changed: What|Removed |Added Known to fail||12.1.0, 13.0 Blocks|

[Bug middle-end/98109] Seemingly wrong warnings from -Wnonnull when combined with -O2 -fsanitize=undefined

2022-08-01 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98109 --- Comment #5 from Martin Sebor --- (In reply to Bernd Buschinski from comment #4) > Can someone tell me if this should be a new bug or is just a duplicate? It's the same bug. The sanitizer transforms the source code into the following IR (not

[Bug c/101605] bogus -Wvla-parameter in same bound expression with differently named parameters

2022-08-16 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101605 Martin Sebor changed: What|Removed |Added Last reconfirmed|2021-07-23 00:00:00 |2022-08-16 Known to fail|

[Bug c/100420] unspecified VLA bound formatted as [0] instead of [*] in -Wvla-parameter

2022-08-16 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100420 Martin Sebor changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug tree-optimization/106559] [10/11/12/13 Regression] Spurious warning -Wformat-truncation (regression from 9)

2022-08-16 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106559 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org Bl

[Bug tree-optimization/106446] -Warray-bounds false positive on downcast under condition

2022-08-19 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106446 Martin Sebor changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/56456] [meta-bug] bogus/missing -Warray-bounds

2022-08-19 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 106446, which changed state. Bug 106446 Summary: -Warray-bounds false positive on downcast under condition https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106446 What|Removed |Added ---

[Bug tree-optimization/106247] GCC12 warning in Eigen: array subscript is partly outside array bounds

2022-08-19 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106247 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |WAITING Last reconfirmed|2022-07-10 00

[Bug middle-end/105348] Overly aggressive -Warray-bounds after conditional

2022-08-19 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105348 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org St

[Bug tree-optimization/56456] [meta-bug] bogus/missing -Warray-bounds

2022-08-19 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 105348, which changed state. Bug 105348 Summary: Overly aggressive -Warray-bounds after conditional https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105348 What|Removed |Added --

[Bug tree-optimization/106757] [12/13 Regression] Incorrect "writing 1 byte into a region of size 0" on a vectorized loop

2022-08-26 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106757 Martin Sebor changed: What|Removed |Added Last reconfirmed||2022-08-26 Blocks|

[Bug middle-end/106776] Unexpected use-after-free warning

2022-08-30 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106776 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #1

[Bug tree-optimization/106868] [12/13 Regression] Bogus -Wdangling-pointer warning with -O1

2022-09-12 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106868 --- Comment #2 from Martin Sebor --- (In reply to Richard Biener from comment #1) > Confirmed. > > [local count: 1073741824]: > alloc (&q); > q.0_1 = q; > *p_4(D) = q.0_1; > q ={v} {CLOBBER(eol)}; > a_8 = __builtin_memcpy (q.0_1, "", 1); > *a_

[Bug tree-optimization/106868] [12/13 Regression] Bogus -Wdangling-pointer warning with -O1

2022-09-12 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106868 --- Comment #3 from Martin Sebor --- (In reply to Martin Sebor from comment #2) ... Actually, scratch that, sorry. Richard is right that the false positive is due to a bug in the warning code. The following patch resolves it: diff --git a/gcc

[Bug tree-optimization/106931] [12/13 Regression] -Wstringop-overflow false positive -O3 -fno-tree-vectorize with loop unrolling since r12-3300-gece28da924ddda8b

2022-09-13 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106931 Martin Sebor changed: What|Removed |Added Summary|[12/13 Regression] |[12/13 Regression] |-W

[Bug c/106988] New: subscripting a string literal is not an integer constant expression but __builtin_strlen is

2022-09-20 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106988 Bug ID: 106988 Summary: subscripting a string literal is not an integer constant expression but __builtin_strlen is Product: gcc Version: 12.0 Status: UNCONFIRMED

[Bug c/106988] subscripting a string literal is not an integer constant expression but __builtin_strlen is

2022-09-22 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106988 Martin Sebor changed: What|Removed |Added Resolution|DUPLICATE |--- Status|RESOLVED

[Bug tree-optimization/107038] [13 Regression] Bogus -Wstringop-overflow= since r13-2789-gb40b3035879cf695

2022-09-26 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107038 --- Comment #3 from Martin Sebor --- Just a quick note from what I see in GDB. The warning is issued by the 2nd run of the waccess pass (-fdump-tree-waccess2) for the following statement in bb 22 in pread(): iftmp.21_88 = __pread_alias (_50,

[Bug c++/107069] string assignment triggers warning

2022-09-29 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107069 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org St

[Bug tree-optimization/105329] [12/13 Regression] Bogus restrict warning when assigning 1-char string literal to std::string since r12-3347-g8af8abfbbace49e6

2022-09-29 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105329 Martin Sebor changed: What|Removed |Added CC||joerg.rich...@pdv-fs.de --- Comment #23

[Bug tree-optimization/84774] [meta-bug] bogus/missing -Wrestrict

2022-09-29 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84774 Bug 84774 depends on bug 107069, which changed state. Bug 107069 Summary: string assignment triggers warning https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107069 What|Removed |Added --

[Bug testsuite/103907] New: many C++ test failures with --target_board=unix/-m32

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103907 Bug ID: 103907 Summary: many C++ test failures with --target_board=unix/-m32 Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Compon

[Bug testsuite/103907] many C++ test failures with --target_board=unix/-m32

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103907 Martin Sebor changed: What|Removed |Added Resolution|--- |INVALID Status|WAITING

[Bug middle-end/99612] Remove "#pragma GCC system_header" from atomic file to warn on incorrect memory order

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99612 Martin Sebor changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug middle-end/103372] Warning on failure order defaulting to SEQ_CST if not a compile time constant

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103372 Bug 103372 depends on bug 99612, which changed state. Bug 99612 Summary: Remove "#pragma GCC system_header" from atomic file to warn on incorrect memory order https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99612 What|Removed

[Bug middle-end/103372] Warning on failure order defaulting to SEQ_CST if not a compile time constant

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103372 Martin Sebor changed: What|Removed |Added Known to fail||10.2.0, 11.2.0, 4.9.4,

[Bug tree-optimization/92943] missing -Wformat-overflow with an allocated buffer with non-constant size in known range

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92943 Martin Sebor changed: What|Removed |Added Target Milestone|--- |11.0 Resolution|---

[Bug tree-optimization/85741] [meta-bug] bogus/missing -Wformat-overflow

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85741 Bug 85741 depends on bug 92943, which changed state. Bug 92943 Summary: missing -Wformat-overflow with an allocated buffer with non-constant size in known range https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92943 What|Removed

[Bug tree-optimization/103858] [12 Regression] strlen() implementation is optimized into a call to strlen() at -O2, causing infinite recursion

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103858 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #2

[Bug tree-optimization/103835] bogus sprintf warnings due to missing strlen propagation

2022-01-04 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103835 Martin Sebor changed: What|Removed |Added Summary|Bogus sprintf warnings |bogus sprintf warnings due

[Bug c++/103758] bogus warning: misspelled term 'decl' in format; use 'declaration' instead [-Wformat-diag]

2022-01-05 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103758 --- Comment #10 from Martin Sebor --- The diagnostic kinds in the call: warning_at (loc, OPT_Wpragmas, "missing [error|warning|ignored|push|pop|ignored_attributes]" " after %<#pragma GCC diagnostic%>");

[Bug tree-optimization/103835] bogus sprintf warnings due to missing strlen propagation

2022-01-06 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103835 --- Comment #5 from Martin Sebor --- It's the same cause. When the -Wformat-overflow and -truncation warnings are unable to compute the exact length of a string argument to a directive like %s they use the size of the array the string is stored

[Bug analyzer/103940] RFE: check -Wanalyzer-tainted-size on external fns with attribute ((access)) with a size-index

2022-01-07 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103940 --- Comment #2 from Martin Sebor --- It makes sense to me, David.

[Bug middle-end/93848] missing -Warray-bounds warning for array subscript 1 is outside array bounds

2022-01-10 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93848 --- Comment #13 from Martin Sebor --- The patch submitted (but not approved) for GCC 11: https://gcc.gnu.org/pipermail/gcc-patches/2020-November/558775.html

[Bug c++/103945] No warning for ordered comparison of function pointers ?

2022-01-10 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103945 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #4

[Bug c++/103945] No warning for ordered comparison of function pointers ?

2022-01-10 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103945 --- Comment #5 from Martin Sebor --- (The patch review was never finished.)

[Bug middle-end/93848] missing -Warray-bounds warning for array subscript 1 is outside array bounds

2022-01-10 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93848 --- Comment #14 from Martin Sebor --- Created attachment 52156 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52156&action=edit Updated patch. The attached patch is an updated version that fixes a few ICEs. It's not in the archives becaus

[Bug c/81453] relational expression involving null pointer not diagnosed with -Wall

2022-01-10 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81453 Martin Sebor changed: What|Removed |Added Keywords||patch --- Comment #4 from Martin Sebor -

[Bug middle-end/103993] -Wismatched-new-delete due to difference in inlining decisions

2022-01-12 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103993 Martin Sebor changed: What|Removed |Added Blocks||100406 CC|

[Bug tree-optimization/104012] [12 regression] -Wformat-truncation warnings not taking previous length check into account

2022-01-13 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104012 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #3

[Bug middle-end/104017] New: unexpeted -Warray-bounds popping a fixed number of std::deque elements

2022-01-13 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104017 Bug ID: 104017 Summary: unexpeted -Warray-bounds popping a fixed number of std::deque elements Product: gcc Version: 9.0 Status: UNCONFIRMED Severity: normal

[Bug tree-optimization/104017] unexpeted -Warray-bounds popping a fixed number of std::deque elements

2022-01-13 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104017 --- Comment #1 from Martin Sebor --- The warning triggers for the clobber statement in bb 43 below. _236 is assumed to point to the beginning of the block of 512 bytes allocated by new, so subtracting a positive integer from it or adding one in

[Bug tree-optimization/104012] [12 regression] -Wformat-truncation warnings not taking previous length check into account

2022-01-14 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104012 Martin Sebor changed: What|Removed |Added Resolution|--- |INVALID Blocks|

<    6   7   8   9   10   11   12   13   14   15   >