[PATCH] analyzer: enabling Modula-2 Storage/ALLOCATE/DEALLOCATE

Hello David and fellow GCC developers, [the proposed patches for GCC trunk are at the end of the email] I've been having way too much fun with your -fanalyzer code and here are four patches which give the analyzer the ability to understand the Modula-2 Storage API. http://www.nongnu.org/gm2

Re: [PATCH] analyzer: enabling Modula-2 Storage/ALLOCATE/DEALLOCATE

On Tue, 2021-04-13 at 10:52 +0100, Gaius Mulley wrote: > > > Hello David and fellow GCC developers, > > [the proposed patches for GCC trunk are at the end of the email] > > I've been having way too much fun with your -fanalyzer code and > here are four patches which give the analyzer the abilit

Re: [PATCH] analyzer: enabling Modula-2 Storage/ALLOCATE/DEALLOCATE

David Malcolm writes: > On Tue, 2021-04-13 at 10:52 +0100, Gaius Mulley wrote: >> >> Hello David and fellow GCC developers, >> >> [the proposed patches for GCC trunk are at the end of the email] >> Firstly many thanks for your excellent feedback. Initially I thought I'd post the latest version