Re: analyzer: Weekly update on extending C++ support (2)

2023-08-07 Thread David Malcolm via Gcc
On Mon, 2023-08-07 at 15:04 +0200, Benjamin Priour wrote: > Hi Dave, [...snip...] > Last test I'd like to discuss is analyzer/pr99193-1.c > [...snip...] > > If I comment out the call to perror("realloc"), then G++ behaves as > GCC. > If I replace perror ("realloc") by any other call, to a ful

Re: analyzer: Weekly update on extending C++ support (2)

2023-08-07 Thread David Malcolm via Gcc
On Mon, 2023-08-07 at 15:04 +0200, Benjamin Priour wrote: > Hi Dave, Hi Benjamin. > > I made some more progress on moving tests from gcc.dg/analyzer/ to > c-c++-common/analyzer. Thanks. It sounds like you have a large amount of "pending" work that is accumulating on your hard drive. This make

analyzer: Weekly update on extending C++ support (2)

2023-08-07 Thread Benjamin Priour via Gcc
Hi Dave, I made some more progress on moving tests from gcc.dg/analyzer/ to c-c++-common/analyzer. I'll only detail the most noteworthy tests I encountered. gcc.dg/analyzer/pr103892.c troubled me with an Excess error when compiled with g++ analysis bailed out early (91 'after-snode' enodes; 314 e