[Bug tree-optimization/85158] ubsan and -O3 finds a problem

2018-04-03 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 --- Comment #7 from rguenther at suse dot de --- On Tue, 3 Apr 2018, jakub at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 > > --- Comment #6 from Jakub Jelinek --- > As a middle-ground between ints,

[Bug tree-optimization/85158] ubsan and -O3 finds a problem

2018-04-03 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 --- Comment #6 from Jakub Jelinek --- As a middle-ground between ints, HOST_WIDE_INTs and unlimited precision we have offset_int, widest_int etc. But perhaps using even that would be too costly.

[Bug tree-optimization/85158] ubsan and -O3 finds a problem

2018-04-03 Thread dcb314 at hotmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 --- Comment #5 from David Binderman --- (In reply to Richard Biener from comment #4) > There's related PR82494 about the lambda vector operations but yes, this > code hasn't > been fixed to avoid overflows and generally expects to operate with

[Bug tree-optimization/85158] ubsan and -O3 finds a problem

2018-04-03 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 Richard Biener changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/85158] ubsan and -O3 finds a problem

2018-04-03 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 Jakub Jelinek changed: What|Removed |Added Status|WAITING |NEW CC|

[Bug tree-optimization/85158] ubsan and -O3 finds a problem

2018-04-03 Thread dcb314 at hotmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 --- Comment #2 from David Binderman --- (In reply to Jakub Jelinek from comment #1) > The above snippet isn't a self-contained program and contains UB, so it is > unclear how you can get runtime diagnostics for it. The short snippet of code is

[Bug tree-optimization/85158] ubsan and -O3 finds a problem

2018-04-03 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85158 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |WAITING Last reconfirmed|