Re: [PATCH] vrp: Improve register_edge_assert_for [PR95757]

2021-03-02 Thread Richard Biener
On Tue, 2 Mar 2021, Jakub Jelinek wrote: > Hi! > > The Wstringop-overflow-25.c testcase doesn't emit one of the expected > warnings on targets that don't do short curcuiting due to target costs > (or e.g. with --param=logical-op-non-short-circuit=0 on all targets). > > The problem is that only r

[PATCH] vrp: Improve register_edge_assert_for [PR95757]

2021-03-02 Thread Jakub Jelinek via Gcc-patches
Hi! The Wstringop-overflow-25.c testcase doesn't emit one of the expected warnings on targets that don't do short curcuiting due to target costs (or e.g. with --param=logical-op-non-short-circuit=0 on all targets). The problem is that only reassoc2 optimizes: _49 ={v} unsigned_value_source; i