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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92539 --- Comment #6 from Jeffrey A. Law --- I wonder if we're looking at this the wrong way. We have several blocks with this kind of structure: [local count: 30530247]: if (last_12 != [(void *)"aa" + 3B]) goto ; [54.59%] else goto

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92539 --- Comment #5 from Martin Sebor --- >From the vrp1 dump it seems that it should be possible to determine that bb 8 and later are unreachable. Might the predicate analysis help here as well? int main () { const char * last; int i; const

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92539 Martin Sebor changed: What|Removed |Added Summary|[8/9/10/11 Regression] |[8/9/10/11 Regression]