On Tue, 26 Oct 2021 14:10:05 +0200 (CEST) Richard Biener <rguent...@suse.de> wrote:
> I agree in general, where I would diagnose this is when we build the
> CFG I would diagnose unreachable blocks - the above does not have
> any path to the second *poffset store. Like with the prototype patch
> below we warn for
>
> int *p;
> int foo()
> {
> return 0;
> *p = 0;
> }
mhm. I thought we have -Wunreachable-code but it seems that's gone
thanks,
