[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-10-19 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #10 from CVS Commits --- The master branch has been updated by hongtao Liu : https://gcc.gnu.org/g:3c8d8c0be95e99dc0cba7f6fad2429243582119f commit r12-4523-g3c8d8c0be95e99dc0cba7f6fad2429243582119f Author: liuhongt Date: Thu

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-10-12 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #9 from Hongtao.liu --- case 1: All accesses are out of bound, and after vectorization, there are some warnings missing.(Because there only 1 access after vectorization, 2 accesses w/o vectorization, and diagnostic is based on

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-25 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #8 from Hongtao.liu --- I got a case3 from Wstringop-overflow-76.c #define MAX(p, q) ((p) > (q) ? (p) : (q)) struct B4_B6 { char b4[4]; char b6[6]; // { dg-message "at offset 6 into destination object 'b6' of size 6"

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-23 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 Martin Sebor changed: What|Removed |Added Last reconfirmed||2021-09-23 Ever confirmed|0

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-23 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #6 from Hongtao.liu --- Move pass_strlen before loop passes @@ -261,6 +261,7 @@ along with GCC; see the file COPYING3. If not see NEXT_PASS (pass_tsan); NEXT_PASS (pass_dse); NEXT_PASS (pass_dce); +

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-23 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #5 from Hongtao.liu --- It looks like vectorized stmt is always marked as the first access lineno.

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-23 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #4 from Hongtao.liu --- case1 struct A1 { char n; char a[1];// { dg-message "destination object" "note" } }; struct A1 a1__ = { 0 }; void ga1__ (void) { a1__.a[0] = 0; a1__.a[1] = 1; //

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-23 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #3 from Hongtao.liu --- case3: struct A1 { char n; char a[1];// { dg-message "destination object" "note" } }; void sink (void*); struct A1 a1i_1 = { 0, { 1 } }; void ga1i_1 (void) { a1i_1.a[0] = 0;

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-23 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 Richard Biener changed: What|Removed |Added CC||rguenth at gcc dot gnu.org ---

[Bug tree-optimization/102462] vectorization breaks diagnostic for array out of bound detect.

2021-09-22 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102462 --- Comment #1 from Hongtao.liu --- The issue also exists for O3