Re: [PATCH] tree-optimization/109539 - restrict PHI handling in access diagnostics

2023-04-18 Thread Richard Biener via Gcc-patches
od point, adjusted. Not sure how likely it is we run into PHIs. > > > Talking about this, shouldn't pointers be auto_vec for some > > reasonable N and pointers.quick_push (ptr) instead of safe_push? > > Done as well, but we can only use quick_push for the initial one. &

Re: [PATCH] tree-optimization/109539 - restrict PHI handling in access diagnostics

2023-04-18 Thread Richard Biener via Gcc-patches
d later? Good point, adjusted. Not sure how likely it is we run into PHIs. > Talking about this, shouldn't pointers be auto_vec for some > reasonable N and pointers.quick_push (ptr) instead of safe_push? Done as well, but we can only use quick_push for the initial one. Re-testing as foll

Re: [PATCH] tree-optimization/109539 - restrict PHI handling in access diagnostics

2023-04-18 Thread Jakub Jelinek via Gcc-patches
On Tue, Apr 18, 2023 at 12:33:25PM +0200, Richard Biener wrote: > Access diagnostics visits the SSA def-use chains to diagnose things like > dangling pointer uses. When that runs into PHIs it tries to prove > all incoming pointers of which one is the currently visited use are > related to decide w

[PATCH] tree-optimization/109539 - restrict PHI handling in access diagnostics

2023-04-18 Thread Richard Biener via Gcc-patches
Access diagnostics visits the SSA def-use chains to diagnose things like dangling pointer uses. When that runs into PHIs it tries to prove all incoming pointers of which one is the currently visited use are related to decide whether to keep looking for the PHI def uses. That turns out to be overly