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

2019-10-28 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83819 Bug 83819 depends on bug 92226, which changed state. Bug 92226 Summary: [10 Regression] live nul char store to array eliminated https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92226 What|Removed |Added

[Bug tree-optimization/92226] [10 Regression] live nul char store to array eliminated

2019-10-28 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92226 --- Comment #3 from Martin Sebor --- Author: msebor Date: Mon Oct 28 23:46:09 2019 New Revision: 277545 URL: https://gcc.gnu.org/viewcvs?rev=277545&root=gcc&view=rev Log: PR tree-optimization/92226 - live nul char store to array eliminated gcc/

[Bug tree-optimization/83543] strlen of a local array member not optimized on some targets

2019-10-29 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83543 --- Comment #9 from Martin Sebor --- Author: msebor Date: Tue Oct 29 16:14:18 2019 New Revision: 277576 URL: https://gcc.gnu.org/viewcvs?rev=277576&root=gcc&view=rev Log: gcc/testsuite/ChangeLog: PR testsuite/92144 * c-c++-commo

[Bug testsuite/92144] [10 regression] c-c++-common/Warray-bounds-4.c still fails after r277080

2019-10-29 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92144 --- Comment #2 from Martin Sebor --- Author: msebor Date: Tue Oct 29 16:14:18 2019 New Revision: 277576 URL: https://gcc.gnu.org/viewcvs?rev=277576&root=gcc&view=rev Log: gcc/testsuite/ChangeLog: PR testsuite/92144 * c-c++-commo

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

2019-10-29 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 92144, which changed state. Bug 92144 Summary: [10 regression] c-c++-common/Warray-bounds-4.c still fails after r277080 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92144 What|Removed |

[Bug testsuite/92144] [10 regression] c-c++-common/Warray-bounds-4.c still fails after r277080

2019-10-29 Thread msebor at gcc dot gnu.org
|--- |FIXED Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org --- Comment #3 from Martin Sebor --- The test is running into the limitation in PR 83543. I've disabled the test in r277576 until that's resolved (hopefully in GCC 11).

[Bug c/77328] incorrect caret location in -Wformat calling printf via a macro

2019-10-31 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77328 --- Comment #5 from Martin Sebor --- The GCC 10 output looks almost correct. I think two things should change: 1) the warning should underline the directive (like the second note), not the whole format string 2) the second note should be

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

2019-10-31 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 89427, which changed state. Bug 89427 Summary: missing -Warray-bounds on a MEM_REF of array plus offset https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89427 What|Removed |Added ---

[Bug middle-end/89427] missing -Warray-bounds on a MEM_REF of array plus offset

2019-10-31 Thread msebor at gcc dot gnu.org
-optimization |middle-end Known to work||10.0 Resolution|--- |FIXED Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0 Known to fail

[Bug middle-end/92307] New: missing -Wstringop-overflow on a memcpy into an array with out-of-bounds variable offset

2019-10-31 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: --- Even with PR89427 resolved, GCC still fails to detect the invalid accesses in the functions below

[Bug middle-end/92307] missing -Wstringop-overflow on a memcpy into an array with out-of-bounds variable offset

2019-10-31 Thread msebor at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Martin Sebor --- I'm testing a patch that diagnoses this. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88443 [Bug 88443] [met

[Bug middle-end/92312] bogus -Wstringop-overflow storing into a trailing array backed by larger buffer

2019-10-31 Thread msebor at gcc dot gnu.org
||7.3.0, 8.3.0, 9.1.0 Keywords||diagnostic Last reconfirmed||2019-10-31 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 Target

[Bug middle-end/92312] New: bogus -Wstringop-overflow storing into a trailing array backed by larger buffer

2019-10-31 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: --- GCC 10.0 issues a -Wstringop-overflow warning for stores into trailing arrays that are backed by a large enough

[Bug middle-end/92312] bogus -Wstringop-overflow storing into a trailing array backed by larger buffer

2019-10-31 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92312 Martin Sebor changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug tree-optimization/92323] New: bogus -Warray-bounds after unrolling despite __builtin_unreachable

2019-11-01 Thread msebor at gcc dot gnu.org
Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- With the -Warray-bounds enhancement for pr91647, GCC issues a warning for the unrolled loop in function f() below. No

[Bug tree-optimization/92323] bogus -Warray-bounds after unrolling despite __builtin_unreachable

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92323 Martin Sebor changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug middle-end/91679] missing -Warray-bounds accessing a member array in a local buffer

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91679 --- Comment #3 from Martin Sebor --- Author: msebor Date: Fri Nov 1 21:09:20 2019 New Revision: 277728 URL: https://gcc.gnu.org/viewcvs?rev=277728&root=gcc&view=rev Log: PR middle-end/91679 - missing -Warray-bounds accessing a member array in a

[Bug middle-end/92312] bogus -Wstringop-overflow storing into a trailing array backed by larger buffer

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92312 --- Comment #2 from Martin Sebor --- Author: msebor Date: Fri Nov 1 21:09:20 2019 New Revision: 277728 URL: https://gcc.gnu.org/viewcvs?rev=277728&root=gcc&view=rev Log: PR middle-end/91679 - missing -Warray-bounds accessing a member array in a

[Bug c/91463] missing -Warray-bounds accessing past the end of a statically initialized flexible array member

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91463 --- Comment #6 from Martin Sebor --- Author: msebor Date: Fri Nov 1 21:09:20 2019 New Revision: 277728 URL: https://gcc.gnu.org/viewcvs?rev=277728&root=gcc&view=rev Log: PR middle-end/91679 - missing -Warray-bounds accessing a member array in a

[Bug tree-optimization/91647] [10 Regression] new FAILs for Warray-bounds-8 and Wstringop-overflow-3.C

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91647 --- Comment #13 from Martin Sebor --- Author: msebor Date: Fri Nov 1 21:09:20 2019 New Revision: 277728 URL: https://gcc.gnu.org/viewcvs?rev=277728&root=gcc&view=rev Log: PR middle-end/91679 - missing -Warray-bounds accessing a member array in

[Bug tree-optimization/92323] bogus -Warray-bounds after unrolling despite __builtin_unreachable

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92323 --- Comment #2 from Martin Sebor --- Author: msebor Date: Fri Nov 1 21:09:20 2019 New Revision: 277728 URL: https://gcc.gnu.org/viewcvs?rev=277728&root=gcc&view=rev Log: PR middle-end/91679 - missing -Warray-bounds accessing a member array in a

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

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 91679, which changed state. Bug 91679 Summary: missing -Warray-bounds accessing a member array in a local buffer https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91679 What|Removed |Added -

[Bug middle-end/91679] missing -Warray-bounds accessing a member array in a local buffer

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91679 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Known to work|

[Bug middle-end/92312] [10 Regression] bogus -Wstringop-overflow storing into a trailing array backed by larger buffer

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

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

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 91463, which changed state. Bug 91463 Summary: missing -Warray-bounds accessing past the end of a statically initialized flexible array member https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91463 What|Remove

[Bug middle-end/91463] missing -Warray-bounds accessing past the end of a statically initialized flexible array member

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

[Bug c++/69698] [meta-bug] flexible array members

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69698 Bug 69698 depends on bug 91463, which changed state. Bug 91463 Summary: missing -Warray-bounds accessing past the end of a statically initialized flexible array member https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91463 What|Remove

[Bug tree-optimization/91647] [10 Regression] new FAILs for Warray-bounds-8 and Wstringop-overflow-3.C

2019-11-01 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91647 --- Comment #14 from Martin Sebor --- Both Warray-bounds-8 and Wstringop-overflow-3.C pass with the Darwin cross now. Both the Darwin cross and a native GCC 10 now also issue the same warnings for the test case in comment #7. With the cross I s

[Bug c/92326] New: wrong bound in zero-length array diagnostics

2019-11-01 Thread msebor at gcc dot gnu.org
Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- r277728 changed the formatting of zero-length arrays in diagnostics to include their bound, but the change also inadvertently added the zero bound to flexible array members (because

[Bug c/92326] wrong bound in zero-length array diagnostics

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

[Bug middle-end/92333] New: missing variable name referencing VLA in warnings

2019-11-02 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: --- When referencing a VLA in late warnings like -Warray-bounds or -Wstringop-overflow GCC neglects to mention the VLA's name or point at its declaration, instead pri

[Bug middle-end/92333] missing variable name referencing VLA in warnings

2019-11-02 Thread msebor at gcc dot gnu.org
||2019-11-02 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Martin Sebor --- The otherwise untested change below changes the output to: gcc -O2 -S -Wall pr92333.c pr92333.c

[Bug middle-end/92334] New: incorrect __builtin_object_size result for negative offsets

2019-11-02 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: --- When the pointer argument to __builtin_object_size() is at a negative offset from the beginning of an object the function seems to return

[Bug middle-end/92334] incorrect __builtin_object_size result for negative offsets

2019-11-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92334 --- Comment #1 from Martin Sebor --- Whoops. There's a typo in the test case in comment #0 (wrong pointer passed to __builtin_object_size). Here's a corrected test case: $ cat z.c && gcc -O2 -S -Wall -fdump-tree-strlen=/dev/stdout z.c void sin

[Bug middle-end/92334] incorrect __builtin_object_size result for negative offsets

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

[Bug middle-end/77622] __builtin_object_size incorrect for an out-of-bounds pointer prior to destination object

2019-11-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77622 --- Comment #2 from Martin Sebor --- *** Bug 92334 has been marked as a duplicate of this bug. ***

[Bug middle-end/92334] incorrect __builtin_object_size result for negative offsets

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

[Bug middle-end/77622] __builtin_object_size incorrect for an out-of-bounds pointer prior to destination object

2019-11-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77622 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug c++/88565] enhance -Warray-bounds for C++ trailing class member arrays

2019-11-03 Thread msebor at gcc dot gnu.org
||10.0 Resolution|--- |FIXED Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0 Known to fail||7.3.0, 8.3.0, 9.2.0 --- Comment #1

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

2019-11-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 88565, which changed state. Bug 88565 Summary: enhance -Warray-bounds for C++ trailing class member arrays https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88565 What|Removed |Added

[Bug c++/88565] enhance -Warray-bounds for C++ trailing class member arrays

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

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

2019-11-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 88565, which changed state. Bug 88565 Summary: enhance -Warray-bounds for C++ trailing class member arrays https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88565 What|Removed |Added

[Bug c++/88565] enhance -Warray-bounds for C++ trailing class member arrays

2019-11-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88565 --- Comment #3 from Martin Sebor --- Author: msebor Date: Sun Nov 3 22:11:37 2019 New Revision: 277758 URL: https://gcc.gnu.org/viewcvs?rev=277758&root=gcc&view=rev Log: PR c++/88565 - enhance -Warray-bounds for C++ trailing class member arrays

[Bug middle-end/87192] -Warray-bounds (even =2) does not work on struct members

2019-11-03 Thread msebor at gcc dot gnu.org
||msebor at gcc dot gnu.org Component|c |middle-end Resolution|--- |FIXED Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0

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

2019-11-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 87192, which changed state. Bug 87192 Summary: -Warray-bounds (even =2) does not work on struct members https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87192 What|Removed |Added ---

[Bug tree-optimization/82612] missing -Warray-bounds on a non-zero offset from the address of a non-array object

2019-11-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82612 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug tree-optimization/92341] New: missing -Warray-bounds indexing past the end of a compound literal

2019-11-03 Thread msebor at gcc dot gnu.org
Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Out-of-bounds accesses to compound literals are not diagnosed: $ cat u.c && gcc -O2 -S -Wall -fdump-tree-ethr

[Bug tree-optimization/92341] missing -Warray-bounds indexing past the end of a compound literal

2019-11-03 Thread msebor at gcc dot gnu.org
||2019-11-04 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Martin Sebor --- The otherwise untested change below prevents SRA from folding the out-of-bounds access and lets VRP

[Bug tree-optimization/92349] [10 Regression] ICE in vrp_prop::check_array_ref at gcc/tree-vrp.c:4181 since r277728

2019-11-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92349 --- Comment #4 from Martin Sebor --- Author: msebor Date: Mon Nov 4 18:15:43 2019 New Revision: 277786 URL: https://gcc.gnu.org/viewcvs?rev=277786&root=gcc&view=rev Log: PR tree-optimization/92349 - ICE in -Warray-bounds of a VLA member gcc/te

[Bug tree-optimization/92349] [10 Regression] ICE in -Warray-bounds of a VLA member

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

[Bug middle-end/92363] New: wrong subscript value printed when indexing into an empty array

2019-11-04 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: --- The -Warray-bounds code takes a shortcut when it detects an access to an array whose lower bound is equal to its upper bound and

[Bug middle-end/92363] wrong subscript value printed when indexing into an empty array

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

[Bug tree-optimization/92341] missing -Warray-bounds indexing past the end of a compound literal

2019-11-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92341 Martin Sebor changed: What|Removed |Added Keywords||patch --- Comment #2 from Martin Sebor -

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

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 92378, which changed state. Bug 92378 Summary: missing -Warray-bounds warning https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92378 What|Removed |Added -

[Bug tree-optimization/92341] missing -Warray-bounds indexing past the end of a compound literal

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92341 Martin Sebor changed: What|Removed |Added CC||tangyixuan at mail dot dlut.edu.cn --- C

[Bug middle-end/92378] missing -Warray-bounds warning

2019-11-05 Thread msebor at gcc dot gnu.org
||msebor at gcc dot gnu.org Component|c |middle-end Resolution|--- |DUPLICATE Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0

[Bug middle-end/92381] New: missing -Warray-bounds on negative index with very large magnitude

2019-11-05 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: --- More extensive testing of the fix for pr92341 reveals that yet another optimization gets in the way of diagnosing negative out-of

[Bug middle-end/92381] missing -Warray-bounds on negative index with very large magnitude

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

[Bug tree-optimization/86611] missing -Warray-bounds on a large negative index into a string in lp64

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86611 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/92341] missing -Warray-bounds indexing past the end of a compound literal

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92341 --- Comment #4 from Martin Sebor --- Author: msebor Date: Tue Nov 5 16:20:44 2019 New Revision: 277851 URL: https://gcc.gnu.org/viewcvs?rev=277851&root=gcc&view=rev Log: PR middle-end/92341 - missing -Warray-bounds indexing past the end of a co

[Bug tree-optimization/82612] missing -Warray-bounds on a non-zero offset from the address of a non-array object

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82612 --- Comment #4 from Martin Sebor --- Author: msebor Date: Tue Nov 5 16:20:44 2019 New Revision: 277851 URL: https://gcc.gnu.org/viewcvs?rev=277851&root=gcc&view=rev Log: PR middle-end/92341 - missing -Warray-bounds indexing past the end of a co

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

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 92341, which changed state. Bug 92341 Summary: missing -Warray-bounds indexing past the end of a compound literal https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92341 What|Removed |Added

[Bug tree-optimization/92341] missing -Warray-bounds indexing past the end of a compound literal

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92341 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Known to work|

[Bug tree-optimization/82612] missing -Warray-bounds on a non-zero offset from the address of a non-array object

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

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

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 82612, which changed state. Bug 82612 Summary: missing -Warray-bounds on a non-zero offset from the address of a non-array object https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82612 What|Removed

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

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82608 --- Comment #2 from Martin Sebor --- Author: msebor Date: Tue Nov 5 17:05:33 2019 New Revision: 277854 URL: https://gcc.gnu.org/viewcvs?rev=277854&root=gcc&view=rev Log: PR middle-end/92333 - missing variable name referencing VLA in warnings PR

[Bug middle-end/92333] missing variable name referencing VLA in warnings

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92333 --- Comment #2 from Martin Sebor --- Author: msebor Date: Tue Nov 5 17:05:33 2019 New Revision: 277854 URL: https://gcc.gnu.org/viewcvs?rev=277854&root=gcc&view=rev Log: PR middle-end/92333 - missing variable name referencing VLA in warnings PR

[Bug middle-end/92333] missing variable name referencing VLA in warnings

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

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

2019-11-05 Thread msebor at gcc dot gnu.org
||2019-11-05 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #3 from Martin Sebor --- A partial fix (https://gcc.gnu.org/ml/gcc-patches/2019-11/msg00179.html) committed in r277854. Out-of

[Bug c/92380] Bogus -Warray-bounds warning with structures, one of which has a flexible array member

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

[Bug middle-end/92363] wrong subscript value printed when indexing into an empty array

2019-11-05 Thread msebor at gcc dot gnu.org
|--- |FIXED Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Target Milestone|--- |10.0 Known to fail||7.3.0, 8.3.0, 9.2.0 --- Comment #1 from Martin Sebor --- Fixed for GCC 10 via r277851.

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

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456 Bug 56456 depends on bug 92363, which changed state. Bug 92363 Summary: wrong subscript value printed when indexing into an empty array https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92363 What|Removed |Added ---

[Bug tree-optimization/92373] [10 Regression] ICE get_initializer_for at gcc/tree.c:13553 since r277728

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

[Bug tree-optimization/92373] [10 Regression] ICE in -Warray-bounds on access to member array in an initialized char buffer

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

[Bug tree-optimization/92373] [10 Regression] ICE in -Warray-bounds on access to member array in an initialized char buffer

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92373 --- Comment #2 from Martin Sebor --- Author: msebor Date: Wed Nov 6 01:25:09 2019 New Revision: 277871 URL: https://gcc.gnu.org/viewcvs?rev=277871&root=gcc&view=rev Log: PR tree-optimization/92373 - ICE in -Warray-bounds on access to member arr

[Bug tree-optimization/92373] [10 Regression] ICE in -Warray-bounds on access to member array in an initialized char buffer

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

[Bug go/91992] gcc/testsuite/go/index0-out.x SEGV and spinlock during testsuite run

2019-11-05 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91992 --- Comment #5 from Martin Sebor --- I haven't had time to debug it but it would help if the test set up an alarm to avoid hanging the build. Otherwise I have no choice but to disable go in my builds.

[Bug bootstrap/92397] real.c -Warray-bounds suspicious warning

2019-11-06 Thread msebor at gcc dot gnu.org
|UNCONFIRMED |NEW Last reconfirmed||2019-11-06 CC||msebor at gcc dot gnu.org Component|c |bootstrap Blocks||56456, 86656 Ever confirmed|0

[Bug middle-end/92408] New: strlen(s) != 0 not folded into *s

2019-11-07 Thread msebor at gcc dot gnu.org
Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- In simple expressions, GCC folds strlen(*s) calls whose result is only used in a test for equality with zero to tests for the first character being nul. But it does only a

[Bug middle-end/92408] strlen(s) != 0 not folded into *s

2019-11-07 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92408 Martin Sebor changed: What|Removed |Added Keywords||missed-optimization See Also|

[Bug middle-end/92333] missing variable name referencing VLA in warnings

2019-11-07 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92333 --- Comment #5 from Martin Sebor --- The ICE is caused by int_const_binop (TRUNC_DIV_EXPR, maxbound, eltsize) returning a nul for constant arguments, and caller assuming it's non-null. The poly_int_binop function apparently doesn't know how to d

[Bug tree-optimization/92412] New: excessive errno aliasing assumption defeats optimization

2019-11-07 Thread msebor at gcc dot gnu.org
Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- GCC folds to false the test for a's contents in f() below but it doesn't do the same in g(). It appears to be caused by t

[Bug tree-optimization/92412] excessive errno aliasing assumption defeats optimization

2019-11-07 Thread msebor at gcc dot gnu.org
||2019-11-07 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Martin Sebor --- The otherwise untested change below allows the test case to be optimized as I expect: index

[Bug middle-end/87736] New attributes to mark custom alloc/free function pair

2019-11-07 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87736 Martin Sebor changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug middle-end/87731] Detection of mismatched alloc/free pairs

2019-11-07 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87731 Martin Sebor changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug tree-optimization/87313] attribute malloc not used for alias analysis when it could be

2019-11-07 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87313 Martin Sebor changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

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

2019-11-08 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91582 Martin Sebor changed: What|Removed |Added Keywords||patch --- Comment #3 from Martin Sebor -

[Bug middle-end/79016] missing -Wstringop-overflow= overflowing allocated buffers

2019-11-08 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79016 Martin Sebor changed: What|Removed |Added Keywords||patch Target Milestone|---

[Bug tree-optimization/85484] missing -Wstringop-overflow for strcpy with a string of non-const length

2019-11-08 Thread msebor at gcc dot gnu.org
||2019-11-08 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #2 from Martin Sebor --- My WIP patch for pr91582 detects both of these bugs: pr85484.c: In function ā€˜g’: pr85484.c:7:3

[Bug tree-optimization/92452] [10 Regression] ICE in vrp_prop::check_array_ref at tree-vrp.c:4153

2019-11-11 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92452 --- Comment #2 from Martin Sebor --- See also bug 92333, comment #4.

[Bug c/83688] Please check if buffers may overlap when copying strings using sprintf

2019-11-12 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83688 --- Comment #9 from Martin Sebor --- Author: msebor Date: Tue Nov 12 17:18:37 2019 New Revision: 278098 URL: https://gcc.gnu.org/viewcvs?rev=278098&root=gcc&view=rev Log: PR middle-end/83688 - check if buffers may overlap when copying strings us

[Bug tree-optimization/35503] Warning about restricted pointers?

2019-11-12 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35503 --- Comment #13 from Martin Sebor --- Author: msebor Date: Tue Nov 12 17:18:37 2019 New Revision: 278098 URL: https://gcc.gnu.org/viewcvs?rev=278098&root=gcc&view=rev Log: PR middle-end/83688 - check if buffers may overlap when copying strings u

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

2019-11-12 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84774 Bug 84774 depends on bug 83688, which changed state. Bug 83688 Summary: Please check if buffers may overlap when copying strings using sprintf https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83688 What|Removed |Ad

[Bug middle-end/83688] Please check if buffers may overlap when copying strings using sprintf

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

[Bug jit/92483] New: [10 Regression] many jit test failures due to ABRT, SEGV

2019-11-12 Thread msebor at gcc dot gnu.org
Priority: P3 Component: jit Assignee: dmalcolm at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- Many jit tests fail on today's top of trunk (r278096) that I didn't see fail yesterday. === jit tests === Schedule of

[Bug tree-optimization/92412] excessive errno aliasing assumption defeats optimization

2019-11-12 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92412 --- Comment #4 from Martin Sebor --- Author: msebor Date: Tue Nov 12 18:49:31 2019 New Revision: 278099 URL: https://gcc.gnu.org/viewcvs?rev=278099&root=gcc&view=rev Log: PR tree-optimization/92412 - excessive errno aliasing assumption defeats o

[Bug tree-optimization/92412] excessive errno aliasing assumption defeats optimization

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

[Bug tree-optimization/92412] excessive errno aliasing assumption defeats optimization

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

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

2019-11-13 Thread msebor at gcc dot gnu.org
Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: msebor at gcc dot gnu.org Target Milestone: --- GCC 9 and later fold strncmp calls with constant strings as arguments but it doesn't optimize equivalent calls when one or both arguments is an untermi

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

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

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