[Bug tree-optimization/92486] Wrong optimization: padding in structs is not copied even with memcpy

2019-11-14 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92486 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #8

[Bug tree-optimization/92501] strncmp with constant unterminated arrays not folded

2019-11-14 Thread msebor at gcc dot gnu.org
||2019-11-14 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0 Ever confirmed|0 |1 --- Comment #1 from Martin Sebor --- Patch: https://gcc.gnu.org/ml/gcc-patches

[Bug middle-end/88226] missing warning on fprintf, fputs, and puts with an unterminated array

2019-11-14 Thread msebor at gcc dot gnu.org
at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0 --- Comment #4 from Martin Sebor --- Patch: https://gcc.gnu.org/ml/gcc-patches/2019-11/msg01238.html

[Bug middle-end/92532] ICE in gimple-ssa-sprintf.c

2019-11-15 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92532 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug tree-optimization/92493] ICE in get_origin_and_offset at gimple-ssa-sprintf.c:2314

2019-11-15 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92493 Martin Sebor changed: What|Removed |Added CC||segher at gcc dot gnu.org --- Comment #3

[Bug tree-optimization/92493] ICE in get_origin_and_offset at gimple-ssa-sprintf.c:2314

2019-11-18 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92493 --- Comment #4 from Martin Sebor --- Author: msebor Date: Mon Nov 18 22:14:16 2019 New Revision: 278423 URL: https://gcc.gnu.org/viewcvs?rev=278423&root=gcc&view=rev Log: PR middle-end/92493 - ICE in get_origin_and_offset at gimple-ssa-sprintf.c

[Bug middle-end/92493] [10 Regression] ICE in get_origin_and_offset at gimple-ssa-sprintf.c:2314

2019-11-18 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92493 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Component|tree-optimiza

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

2019-11-19 Thread msebor at gcc dot gnu.org
||2019-11-19 CC||msebor at gcc dot gnu.org Component|c++ |tree-optimization Known to work||7.3.0 Ever confirmed|0 |1 Known to fail

[Bug sanitizer/92589] heuristic to avoid flexible array members too liberal

2019-11-20 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #5

[Bug testsuite/92622] New: FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69

2019-11-21 Thread msebor at gcc dot gnu.org
Severity: normal Priority: P3 Component: testsuite Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- When compiled with the -m32 option the test fails two assertions in x86_64-linux builds: FAIL: gcc.dg/Warray

[Bug testsuite/92622] FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69

2019-11-21 Thread msebor at gcc dot gnu.org
|UNCONFIRMED |ASSIGNED Last reconfirmed||2019-11-21 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1

[Bug testsuite/92623] FAIL: gcc.dg/Wstringop-overflow-17.c on ILP32: missing warning on line 8

2019-11-21 Thread msebor at gcc dot gnu.org
|UNCONFIRMED |ASSIGNED Last reconfirmed||2019-11-21 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1

[Bug testsuite/92623] New: FAIL: gcc.dg/Wstringop-overflow-17.c on ILP32: missing warning on line 8

2019-11-21 Thread msebor at gcc dot gnu.org
Priority: P3 Component: testsuite Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- When compiled with the -m32 option the test fails one assertion in x86_64-linux builds: FAIL: gcc.dg/Wstringop-overflow-17.c

[Bug middle-end/92624] New: inconsistent folding of strcmp calls with unterminated arrays

2019-11-21 Thread msebor at gcc dot gnu.org
Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- This shows an inconsistency in how GCC handles code with undefined behavior that is easily detectable in all four functions below. But

[Bug c/92620] Ignored -fno-builtin -fno-builtin-memcpy

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92620 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #4

[Bug tree-optimization/92501] strncmp with constant unterminated arrays not folded

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92501 --- Comment #2 from Martin Sebor --- Author: msebor Date: Fri Nov 22 16:39:37 2019 New Revision: 278621 URL: https://gcc.gnu.org/viewcvs?rev=278621&root=gcc&view=rev Log: PR tree-optimization/92501 - strncmp with constant unterminated arrays not

[Bug middle-end/88226] missing warning on fprintf, fputs, and puts with an unterminated array

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88226 --- Comment #5 from Martin Sebor --- Author: msebor Date: Fri Nov 22 16:47:22 2019 New Revision: 278623 URL: https://gcc.gnu.org/viewcvs?rev=278623&root=gcc&view=rev Log: PR middle-end/88226 - missing warning on fprintf, fputs, and puts with an

[Bug tree-optimization/92501] strncmp with constant unterminated arrays not folded

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92501 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/88226] missing warning on fprintf, fputs, and puts with an unterminated array

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88226 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/83819] [meta-bug] missing strlen optimizations

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83819 Bug 83819 depends on bug 92501, which changed state. Bug 92501 Summary: strncmp with constant unterminated arrays not folded https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92501 What|Removed |Added ---

[Bug middle-end/83859] Please add new attribute which will establish relation between parameters for buffer and its size

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83859 --- Comment #10 from Martin Sebor --- Author: msebor Date: Fri Nov 22 17:14:17 2019 New Revision: 278624 URL: https://gcc.gnu.org/viewcvs?rev=278624&root=gcc&view=rev Log: PR middle-end/83859 - attributes to associate pointer arguments and sizes

[Bug middle-end/31279] Uninitialized warning for call-by-reference arguments with known intent(in)

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31279 Bug 31279 depends on bug 83859, which changed state. Bug 83859 Summary: Please add new attribute which will establish relation between parameters for buffer and its size https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83859 What|Remo

[Bug middle-end/83859] Please add new attribute which will establish relation between parameters for buffer and its size

2019-11-22 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83859 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug c/84919] [8/9/10 Regression] error: passing argument 1 to restrict-qualified parameter aliases with argument 5 [-Werror=restrict]

2019-11-22 Thread msebor at gcc dot gnu.org
at gcc dot gnu.org |msebor at gcc dot gnu.org

[Bug middle-end/92630] New: missing -Wrestrict with attribute access and restrict

2019-11-22 Thread msebor at gcc dot gnu.org
Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Besides out-of-bounds reads and writes, the new attribute access also makes it possible to detect overlapping copies. Calls in all four functions below should be

[Bug c++/92666] New: bogus -Wunused-but-set-variable in gcov.c with -Wno-restrict

2019-11-25 Thread msebor at gcc dot gnu.org
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Bootstrap with -Wno-restrict fails due to -Werror=unused-but-set-variable in gcc/gcov.c: /src/gcc/svn/gcc/gcov.c: In function ‘const char

[Bug c++/92666] bogus -Wunused-but-set-variable in gcov.c with -Wno-restrict

2019-11-25 Thread msebor at gcc dot gnu.org
|UNCONFIRMED |ASSIGNED Last reconfirmed||2019-11-25 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0 Ever confirmed|0 |1

[Bug c++/92666] [10 Regression] bogus -Wunused-but-set-variable in gcov.c with -Wno-restrict

2019-11-25 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92666 Martin Sebor changed: What|Removed |Added Summary|bogus |[10 Regression] bogus |

[Bug c++/92666] [10 Regression] bogus -Wunused-but-set-variable in gcov.c with -Wno-restrict

2019-11-25 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92666 --- Comment #2 from Martin Sebor --- The check_function_restrict() function is called to do the -Wrestrict checking. It's called conditionally, from check_function_arguments(), when warn_restrict is nonzero. When called, the function calls fold

[Bug c/92667] New: spurious missing sentinel in function call with a local sentinel variable

2019-11-25 Thread msebor at gcc dot gnu.org
: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- While looking into bug 92666 I noticed the following false positive in C (it can be reproduced in C++ making the pointer non-const

[Bug c/92668] New: -Wtautological-compare warns for macros that expand to the same symbol

2019-11-25 Thread msebor at gcc dot gnu.org
Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Unlike the C++ front-end and unlike Clang, the C front-end issues -Wtautological-compare for comparisons involving distinct macros that

[Bug c/92668] [9/10 Regression] -Wtautological-compare warns for macros that expand to the same symbol, inconsistent with C++

2019-11-25 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92668 Martin Sebor changed: What|Removed |Added Keywords||diagnostic Summary|-Wtautologi

[Bug tree-optimization/92683] New: [10 Regression] strncmp incorrect result with equal substrings and non-const bound

2019-11-26 Thread msebor at gcc dot gnu.org
Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- r278621 introduced a bug where a non-constant bound in calls to strncmp is treated incorrectly as if it

[Bug tree-optimization/92683] [10 Regression] strncmp incorrect result with equal substrings and non-const bound

2019-11-26 Thread msebor at gcc dot gnu.org
|UNCONFIRMED |ASSIGNED Last reconfirmed||2019-11-26 Blocks||83819 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0 Ever confirmed

[Bug testsuite/92622] FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69

2019-11-26 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92622 --- Comment #1 from Martin Sebor --- The failure doesn't seem to be reliably reproducible. Of the three times the script below runs the test it fails just once. $ for i in 1 2 3; do nice time make -C /build/gcc-git-svn/gcc check-c 'CFLAGS=-O0

[Bug tree-optimization/92683] [10 Regression] strncmp incorrect result with equal substrings and non-const bound

2019-11-26 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92683 --- Comment #1 from Martin Sebor --- Author: msebor Date: Tue Nov 26 23:56:22 2019 New Revision: 278742 URL: https://gcc.gnu.org/viewcvs?rev=278742&root=gcc&view=rev Log: PR tree-optimization/92683 - strncmp incorrect result with equal substring

[Bug tree-optimization/92683] [10 Regression] strncmp incorrect result with equal substrings and non-const bound

2019-11-26 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92683 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/83819] [meta-bug] missing strlen optimizations

2019-11-26 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83819 Bug 83819 depends on bug 92683, which changed state. Bug 92683 Summary: [10 Regression] strncmp incorrect result with equal substrings and non-const bound https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92683 What|Removed

[Bug bootstrap/92733] New: linker errors for missing std::__alloc_on_move with a cross-compiler

2019-11-29 Thread msebor at gcc dot gnu.org
Priority: P3 Component: bootstrap Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Building a cross-compiler (for all targets I've tried) fails with linker errors like those below: /build/gcc-svn/gcc/xg

[Bug tree-optimization/92683] [10 Regression] strncmp incorrect result with equal substrings and non-const bound

2019-11-29 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92683 Martin Sebor changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution|---

[Bug tree-optimization/83819] [meta-bug] missing strlen optimizations

2019-11-29 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83819 Bug 83819 depends on bug 92683, which changed state. Bug 92683 Summary: [10 Regression] strncmp incorrect result with equal substrings and non-const bound https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92683 What|Removed

[Bug bootstrap/92733] linker errors for missing std::__alloc_on_move with a cross-compiler

2019-11-29 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92733 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug tree-optimization/92683] [10 Regression] strncmp incorrect result with equal substrings and non-const bound

2019-11-29 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92683 --- Comment #5 from Martin Sebor --- With pr92733 resolved I can verify that the test case from comment #0 is compiled correctly by the sparc-sun-solaris2.11 cross: $ cat pr92683.c && /build/sparc-sun-solaris2.11/gcc-svn/gcc/xgcc -B /build/sparc

[Bug middle-end/92718] [8/9/10 Regression] Bogus Wstringop-overflow in __builtin_memset() of an element of array of size 1 of struct

2019-11-29 Thread msebor at gcc dot gnu.org
||msebor at gcc dot gnu.org See Also||https://gcc.gnu.org/bugzill ||a/show_bug.cgi?id=36602 Blocks||88443 --- Comment #2 from Martin Sebor

[Bug middle-end/92718] [8/9/10 Regression] Bogus Wstringop-overflow in __builtin_memset() of an element of array of size 1 of struct

2019-12-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92718 --- Comment #4 from Martin Sebor --- Modifying const members of a struct is undefined, regardless of how it's done: either by assignment or by overwriting it using memset. GCC doesn't diagnose it yet but I expect it will, maybe as early as in GC

[Bug bootstrap/92761] New: hash_table::expand invokes assignment on invalid objects

2019-12-02 Thread msebor at gcc dot gnu.org
Priority: P3 Component: bootstrap Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- The GCC internal hash_table::expand() function invokes the assignment operator on invalid/empty elements. The following test case inserted

[Bug bootstrap/92761] hash_table::expand invokes assignment on invalid objects

2019-12-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92761 Martin Sebor changed: What|Removed |Added Keywords||build See Also|

[Bug bootstrap/92762] New: hash_table::empty_slow invokes assignment on invalid objects

2019-12-02 Thread msebor at gcc dot gnu.org
Priority: P3 Component: bootstrap Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- A similar bug to pr92761 I ran into: The GCC internal hash_table::empty_slow() member function invokes the assignment operator on invalid

[Bug middle-end/92761] hash_table::expand invokes assignment on invalid objects

2019-12-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92761 Martin Sebor changed: What|Removed |Added Keywords||build Status|RESOLVED

[Bug middle-end/92761] hash_table::expand invokes assignment on invalid objects

2019-12-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92761 Martin Sebor changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|INVALID

[Bug bootstrap/92762] hash_table::empty_slow invokes assignment on invalid objects

2019-12-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92762 --- Comment #2 from Martin Sebor --- This bug is distinct from pr92761 because it's in hash_table::empty_slow() and pr92761 is in hash_table::expand(). I expect to post a patch for both so I'm fine with handling them together.

[Bug middle-end/92761] hash_table::expand invokes assignment on invalid objects

2019-12-02 Thread msebor at gcc dot gnu.org
||2019-12-03 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #9 from Martin Sebor --- Testing a fix.

[Bug bootstrap/92762] hash_table::empty_slow invokes assignment on invalid objects

2019-12-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92762 --- Comment #3 from Martin Sebor --- It looks to me like the whole else block with the BROKEN_VALUE_INITIALIZATION guard is incorrect. The following test case aborts: typedef int_hash IntHash; hash_map > x; static void test_hash_table () {

[Bug tree-optimization/92765] [10 Regression] Wrong code caused by folding of -Wstring-compare since r276773

2019-12-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92765 --- Comment #12 from Martin Sebor --- The __builtin_strcmp(ptr->header.magic, "x") call in comment #0 is undefined because the two-element array ptr->header.magic is not a nul-terminated string. The warning was designed to point that out. Remov

[Bug middle-end/92761] hash_table::expand invokes assignment on invalid objects

2019-12-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92761 Martin Sebor changed: What|Removed |Added Keywords||patch --- Comment #10 from Martin Sebor

[Bug other/92784] [10 regression] ICE when compiling g++.dg/torture/pr59226.C after r278944

2019-12-03 Thread msebor at gcc dot gnu.org
||2019-12-03 CC||msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Martin Sebor --- I see this natively on x86_64-linux as well.

[Bug c/84919] [8/9/10 Regression] error: passing argument 1 to restrict-qualified parameter aliases with argument 5 [-Werror=restrict]

2019-12-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84919 --- Comment #17 from Martin Sebor --- The patch below avoids the warning. Unfortunately, as a result of bug 92666, it triggers another bogus warning during bootstrap. Index: gcc/c-family/c-common.c ==

[Bug tree-optimization/92813] New: sprintf result not used by strlen pass

2019-12-04 Thread msebor at gcc dot gnu.org
-optimization Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- With the integration of the sprintf pass into strlen, GCC 10 makes use of string lengths computed by the strlen pass to also compute the size of sprintf (and snprintf

[Bug tree-optimization/92813] sprintf result not used by strlen pass

2019-12-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92813 Martin Sebor changed: What|Removed |Added Keywords||diagnostic, |

[Bug middle-end/92814] New: missing -Wstringop-overflow writing into a dynamically allocated flexible array member

2019-12-04 Thread msebor at gcc dot gnu.org
Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- With the first patch for pr91582 applied (https://gcc.gnu.org/ml/gcc-patches/2019-11/msg00652.html) and with

[Bug middle-end/92815] New: spurious -Wstringop-overflow writing into a flexible array of an extern struct

2019-12-04 Thread msebor at gcc dot gnu.org
: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Diagnosing the strcpy call below isn't justified because the flexible array into which it writes is a member

[Bug middle-end/92815] [8/9/10 Regression] spurious -Wstringop-overflow writing into a flexible array of an extern struct

2019-12-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92815 Martin Sebor changed: What|Removed |Added Keywords||diagnostic Status|UNCONFIRMED

[Bug middle-end/92815] [8/9/10 Regression] spurious -Wstringop-overflow writing into a flexible array of an extern struct

2019-12-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92815 Martin Sebor changed: What|Removed |Added Blocks||56456 --- Comment #2 from Martin Sebor -

[Bug middle-end/91582] missing heap overflow detection for strcpy

2019-12-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91582 --- Comment #4 from Martin Sebor --- Author: msebor Date: Thu Dec 5 01:28:11 2019 New Revision: 278983 URL: https://gcc.gnu.org/viewcvs?rev=278983&root=gcc&view=rev Log: PR middle-end/91582 - missing heap overflow detection for strcpy gcc/Chan

[Bug middle-end/91582] missing heap overflow detection for strcpy

2019-12-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91582 --- Comment #5 from Martin Sebor --- Part 2 of the patch series was committed in r278983. Part 1 and part 3 are still waiting for review and approval: https://gcc.gnu.org/ml/gcc-patches/2019-11/msg00429.html https://gcc.gnu.org/ml/gcc-patches/20

[Bug testsuite/92829] [10 regression] several test case failures starting with r278983

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92829 Martin Sebor changed: What|Removed |Added Keywords||diagnostic Target|

[Bug testsuite/92829] [10 regression] several test case failures starting with r278983

2019-12-05 Thread msebor at gcc dot gnu.org
||2019-12-05 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1

[Bug testsuite/92622] FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92622 --- Comment #3 from Martin Sebor --- The reduced test case below reproduces the spurious nature of the failure outside the test harness: $ (set -x; cat t.c && for i in 1 2 3; do gcc -O2 -S -Warray-bounds -ftrack-macro-expansion=0 -m32 t.c ; done

[Bug testsuite/92622] FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92622 Martin Sebor changed: What|Removed |Added Target Milestone|--- |10.0 --- Comment #4 from Martin Sebor --

[Bug testsuite/92622] FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92622 --- Comment #5 from Martin Sebor --- Author: msebor Date: Fri Dec 6 00:18:32 2019 New Revision: 279029 URL: https://gcc.gnu.org/viewcvs?rev=279029&root=gcc&view=rev Log: PR middle-end/92622 - FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing wa

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

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 92622, which changed state. Bug 92622 Summary: FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92622 What|Removed

[Bug middle-end/92622] FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warnings for VLA on lines 67 and 69

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92622 Martin Sebor changed: What|Removed |Added Keywords||patch Status|ASSIGNED

[Bug testsuite/92829] [10 regression] several test case failures starting with r278983

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92829 --- Comment #2 from Martin Sebor --- The failures in Warray-bounds-56.c boil down to this test case where the powerpc64 cross-compiler diagnoses only three out of the four buffer overflows, missing the one first one in f(). The native x86_64 co

[Bug testsuite/92829] [10 regression] several test case failures starting with r278983

2019-12-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92829 --- Comment #3 from Martin Sebor --- Author: msebor Date: Fri Dec 6 01:04:42 2019 New Revision: 279031 URL: https://gcc.gnu.org/viewcvs?rev=279031&root=gcc&view=rev Log: PR testsuite/92829 - several test case failures starting with r278983 gcc

[Bug bootstrap/92828] array out of bounds access in libcpp/mkdeps.c

2019-12-06 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92828 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #6

[Bug bootstrap/92828] array out of bounds access in libcpp/mkdeps.c

2019-12-06 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92828 --- Comment #7 from Martin Sebor --- Rather than suppressing the warning via a pragma, would replacing the call to deps_add_target (d, "-", 1); with d->targets.push (xstrdup (t)); be a better solution? Unless I've overlooked something it sho

[Bug tree-optimization/92867] Use ERF_RETURNS_ARG in more places

2019-12-09 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92867 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org --- Comment #6

[Bug tree-optimization/92868] [10 Regression] ICE: tree check: expected integer_cst, have ssa_name in to_wide, at tree.h:5855

2019-12-09 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92868 --- Comment #3 from Martin Sebor --- Martin, thanks for CC'ing me on bugs I cause, but please leave assigning them to me or whoever might choose to come up with a fix before I get to it.

[Bug tree-optimization/92868] [10 Regression] ICE: tree check: expected integer_cst, have ssa_name in to_wide, at tree.h:5855

2019-12-09 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92868 Martin Sebor changed: What|Removed |Added Keywords||patch --- Comment #4 from Martin Sebor -

[Bug middle-end/92761] hash_table::expand invokes assignment on invalid objects

2019-12-09 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92761 --- Comment #11 from Martin Sebor --- Author: msebor Date: Mon Dec 9 20:54:11 2019 New Revision: 279139 URL: https://gcc.gnu.org/viewcvs?rev=279139&root=gcc&view=rev Log: PR middle-end/92761 - hash_table::expand invokes assignment on invalid ob

[Bug bootstrap/92762] hash_table::empty_slow invokes assignment on invalid objects

2019-12-09 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92762 --- Comment #4 from Martin Sebor --- Author: msebor Date: Mon Dec 9 20:54:11 2019 New Revision: 279139 URL: https://gcc.gnu.org/viewcvs?rev=279139&root=gcc&view=rev Log: PR middle-end/92761 - hash_table::expand invokes assignment on invalid obj

[Bug middle-end/92761] hash_table::expand invokes assignment on invalid objects

2019-12-09 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92761 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/92116] Potential null pointer dereference in 'gomp_acc_remove_pointer'

2019-12-09 Thread msebor at gcc dot gnu.org
|--- |FIXED Assignee|msebor at gcc dot gnu.org |unassigned at gcc dot gnu.org --- Comment #4 from Martin Sebor --- (In reply to Thomas Schwinge from comment #2) IIRC, I assumed based on the check for t != NULL in the controlling expression that the loop could

[Bug tree-optimization/92879] [10 Regression] incorrect warning of __builtin_memset offset is out of the bounds on zero-size allocation and initialization

2019-12-10 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92879 Martin Sebor changed: What|Removed |Added Keywords||alias Blocks|

[Bug tree-optimization/92879] [10 Regression] incorrect warning of __builtin_memset offset is out of the bounds on zero-size allocation and initialization

2019-12-10 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92879 --- Comment #4 from Martin Sebor --- After some more thought I think I need to correct myself: I suppose even in a ctor the this pointer might need to be treated as having escaped and be accessible to a replacement operator new, but placement new

[Bug c++/92893] Unhelpful -Wstringop-overflow warning

2019-12-10 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92893 Martin Sebor changed: What|Removed |Added Keywords||diagnostic Status|UNCONFIRMED

[Bug c++/92893] Unhelpful -Wstringop-overflow warning

2019-12-10 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92893 --- Comment #2 from Martin Sebor --- Defining Str like so works for the test case: struct Str { template Str(Cat c) { struct Flex { char c, a[]; } *p = (Flex*)get(); c.add(p->a); } }; by changing the IL the warning sees to: [l

[Bug tree-optimization/92891] [10 Regression] ice in decompose, at wide-int.h:984

2019-12-10 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92891 --- Comment #4 from Martin Sebor --- Some offsets are narrower than others but sizes returned either by compute_objsize() or by compute_builtin_object_size() should always be sizetype. The wide_int APIs helpful abort when their arguments don't h

[Bug c++/92893] [10 Regression] Unhelpful -Wstringop-overflow warning for a trailing one-element array

2019-12-10 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92893 Martin Sebor changed: What|Removed |Added Known to work||9.1.0 Summary|Unhelpful

[Bug middle-end/79221] missing -Wstringop-overflow= on a strcat overflow

2019-12-11 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79221 Martin Sebor changed: What|Removed |Added Known to work||10.0, 8.1.0, 9.2.0 Target Milestone|---

[Bug middle-end/79221] missing -Wstringop-overflow= on a strcat overflow

2019-12-11 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79221 --- Comment #5 from Martin Sebor --- Author: msebor Date: Wed Dec 11 15:59:55 2019 New Revision: 279227 URL: https://gcc.gnu.org/viewcvs?rev=279227&root=gcc&view=rev Log: PR middle-end/79221 - missing -Wstringop-overflow= on a strcat overflow g

[Bug middle-end/79221] missing -Wstringop-overflow= on a strcat overflow

2019-12-11 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79221 Martin Sebor changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/88443] [meta-bug] bogus/missing -Wstringop-overflow warnings

2019-12-11 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88443 Bug 88443 depends on bug 79221, which changed state. Bug 79221 Summary: missing -Wstringop-overflow= on a strcat overflow https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79221 What|Removed |Added --

[Bug middle-end/92936] New: missing warning on a past-the-end store to a PHI

2019-12-13 Thread msebor at gcc dot gnu.org
: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Out of bounds stores to destinations that are the results of conditionals like the one in g() below are not diagnosed. They should be both by -Warray-bounds and by

[Bug middle-end/92937] New: missing warning on a store with index >= malloc size

2019-12-13 Thread msebor at gcc dot gnu.org
P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- The -Wstringop-overflow logic for determining out of bounds stores into variably sized objects (alloca, malloc, and VLAs) at offsets that are equal to or grea

[Bug middle-end/92939] New: missing -Wstringop-overflow on negative index from the end of array

2019-12-13 Thread msebor at gcc dot gnu.org
Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Even with -Wno-array-bounds the out-of-bounds stores in the first assignment to p[1] below and in the last assignment to p[-2

[Bug middle-end/92940] New: incorrect offset and size in -Wstringop-overflow for out-of-bounds store into VLA and two offset ranges

2019-12-13 Thread msebor at gcc dot gnu.org
: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- With the last patch in the series for pr91582 applied () GCC prints the wrong offset and size

[Bug middle-end/92940] incorrect offset and size in -Wstringop-overflow for out-of-bounds store into VLA and two offset ranges

2019-12-13 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92940 Martin Sebor changed: What|Removed |Added Keywords||diagnostic Blocks|

[Bug middle-end/91582] missing heap overflow detection for strcpy

2019-12-13 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91582 --- Comment #6 from Martin Sebor --- Author: msebor Date: Sat Dec 14 00:52:46 2019 New Revision: 279392 URL: https://gcc.gnu.org/viewcvs?rev=279392&root=gcc&view=rev Log: PR middle-end/91582 - missing heap overflow detection for strcpy PR middle

[Bug tree-optimization/92868] [10 Regression] ICE: tree check: expected integer_cst, have ssa_name in to_wide, at tree.h:5855

2019-12-13 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92868 --- Comment #6 from Martin Sebor --- Author: msebor Date: Sat Dec 14 00:52:46 2019 New Revision: 279392 URL: https://gcc.gnu.org/viewcvs?rev=279392&root=gcc&view=rev Log: PR middle-end/91582 - missing heap overflow detection for strcpy PR middle

<    3   4   5   6   7   8   9   10   11   12   >