On 11/17/20 9:58 AM, Jakub Jelinek wrote: > On Tue, Nov 17, 2020 at 09:54:46AM -0700, Jeff Law wrote: >>> So, e.g. if we had __builtin_warning (dunno where Martin S. is with that), >>> we could e.g. queue a __builtin_warning and add __builtin_unreachable (or >>> other possibilities), or e.g. during VRP just canonicalize proven always >>> out of bound shifts to shifts by an out of bound constant and let some later >>> pass warn and/or add __builtin_warning. >> So the idea is to start funneling this through the path isolation code >> and handle the various strategies there. > If the path isolation code would use the ranger for this, it wouldn't need > to be in VRP but could be anywhere, sure. Good point. I'll have to get used to having ranges available anywhere :-) Jeff
- Re: [PATCH v1 2/2] RISC-V: Ad... Jim Wilson
- Re: [PATCH v1 1/2] Simplify shifts wider t... Jim Wilson
- Re: [PATCH v1 1/2] Simplify shifts wi... Philipp Tomsich
- Re: [PATCH v1 1/2] Simplify shifts wider t... Jeff Law via Gcc-patches
- Re: [PATCH v1 1/2] Simplify shifts wi... Philipp Tomsich
- Re: [PATCH v1 1/2] Simplify shift... Jeff Law via Gcc-patches
- Re: [PATCH v1 1/2] Simplify s... Philipp Tomsich via Gcc-patches
- Re: [PATCH v1 1/2] Simpli... Jakub Jelinek via Gcc-patches
- Re: [PATCH v1 1/2] S... Jeff Law via Gcc-patches
- Re: [PATCH v1 1/... Jakub Jelinek via Gcc-patches
- Re: [PATCH v1 1/... Jeff Law via Gcc-patches
- Re: [PATCH v1 1/... Philipp Tomsich
- Re: [PATCH v1 1/... Jakub Jelinek via Gcc-patches
- Re: [PATCH v1 1/2] S... Jim Wilson
- Re: [PATCH v1 1/... Jakub Jelinek via Gcc-patches
- Re: [PATCH v1 1/2] Simplify s... Philipp Tomsich via Gcc-patches