Analyzer wiki page moved

2022-06-30 Thread David Malcolm via Gcc
On our wiki I've renamed: https://gcc.gnu.org/wiki/DavidMalcolm/StaticAnalyzer to: https://gcc.gnu.org/wiki/StaticAnalyzer since it's not just me working on the analyzer. I've updated all the internal links within the wiki accordingly; please update any external links you see. Thanks Dave

Re: [PATCH v2] analyzer: add allocation size checker

2022-06-30 Thread Tim Lange
On Wed Jun 29, 2022 at 7:39 PM CEST, David Malcolm wrote: > On Wed, 2022-06-29 at 17:39 +0200, Tim Lange wrote: > > > Hi, > > Thanks for the updated patch. > > Overall, looks nearly ready; various nits inline below, throughout... > > > > > I've addressed most of the points from the review. > > * T

[PATCH v3] analyzer: add allocation size checker [PR105900]

2022-06-30 Thread Tim Lange
Hi, here's the updated patch that should address all the comments from the v2. - Tim This patch adds an checker that warns about code paths in which a buffer is assigned to a incompatible type, i.e. when the allocated buffer size is not a multiple of the pointee's size. 2022-07-30 Tim Lange

gcc-10-20220630 is now available

2022-06-30 Thread GCC Administrator via Gcc
Snapshot gcc-10-20220630 is now available on https://gcc.gnu.org/pub/gcc/snapshots/10-20220630/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 10 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

Re: [PATCH v3] analyzer: add allocation size checker [PR105900]

2022-06-30 Thread David Malcolm via Gcc
On Fri, 2022-07-01 at 00:11 +0200, Tim Lange wrote: > Hi, > > here's the updated patch that should address all the comments from the > v2. > > - Tim > > This patch adds an checker that warns about code paths in which a > buffer is > assigned to a incompatible type, i.e. when the allocated buffer