On Wed, Jun 16, 2021 at 02:01:05PM +0100, Jonny Grant wrote: > I guess a separate static analyser would do it, GCC is more focused on compilation so I shouldn't ask for it to have so many features it can't support. -fsanitize=undefined already catches null pointer dereferences, is that enough for your case? Segher
