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

2023-08-31 Thread Benjamin Priour via Gcc
Hi David, On Wed, Aug 30, 2023 at 1:01 AM David Malcolm wrote: > > > ? > > Yes; please submit it, so that we can work towards getting what you > have into trunk. > > Given that we don't properly support C++ yet, improvements to C++ > support don't have to be perfect. > > It is next in queue for

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

2023-08-29 Thread David Malcolm via Gcc
On Mon, 2023-08-28 at 17:13 +0200, Benjamin Priour wrote: > Hi, > > Test gcc.dg/analyzer/pr94362-1.c actually has an additional > null_deref > > warning in C++, which is not affected by exceptions > > or optimizations. I will keep updated on that one. Note that no > > warnings > > are emitted for

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

2023-08-29 Thread David Malcolm via Gcc
On Sat, 2023-08-26 at 16:44 +0200, Benjamin Priour wrote: > Hi David, > > Sorry I missed out on your answer about the operator new patch on the > IRC. > Should I submit the first bit of the operator new patch ? Putting > aside for > now fixing the > "uninitialized value" that accompanies "null der

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

2023-08-28 Thread Benjamin Priour via Gcc
Hi, Test gcc.dg/analyzer/pr94362-1.c actually has an additional null_deref > warning in C++, which is not affected by exceptions > or optimizations. I will keep updated on that one. Note that no warnings > are emitted for this test in C. > > analyzer/pr94362-1.c: In function ‘const EVP_PKEY_ASN1_M

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

2023-08-26 Thread Benjamin Priour via Gcc
Hi David, Sorry I missed out on your answer about the operator new patch on the IRC. Should I submit the first bit of the operator new patch ? Putting aside for now fixing the "uninitialized value" that accompanies "null deref" of nothrow new variants ? About generalizing tests to C++, I'll soon