Its immature to suggest rewriting backend of some bank written in COBOL half a century ago, because Go lang is so much better. That would be a suicide.
No sane person will propose to use COBOL for brand new project.
Again my point is that bashing - modern, in use - languages is stupid thing to do. Current languages are used for a reason. Speed, convenience, libs, support etc.
Going back to C++ vs C. Have a look at Linux kernel written in C++.
Languages are tools, and each tool has its purpose and should be chosen for a purpose.
There's no reason to use C: it's not faster, or more convenient, or more amenable to library use than C++. C++ has every single advantage of C and then some. That's just a reality.
And yes, I can and will bash C.
Anyone is entitled to live in a their delusions, no need to apologize.
Tell me how are you going to write a driver for you new device your company is shipping? Or write firmware for it?
C is a container ship that carries the world's trade on its back, and you come here trying to sell rockets as new means of transportation. We will see if truck are still here in 30 years :) vs some fad language that is going to be forgotten in next few years.
But sure, keep spewing your incorrect assertions.
Uh, exactly the same kind of static analysis that applies to C applies just as well to C++. C++ doesn't have a magically different execution model. What do you think std::string is except a few wrapper functions that boil down to the same operations you can do in C?
I'm sure we'll get there one day. Frama-C is inching toward it at molasses speeds.
But right now, C is undeniably easier to verify than C++.
If they operate at some compiler IR level (e.g. LLVM bitcode), the difference between C and C++ verification is nothing. C++ is purely a front-end thing. Why should formal verifiers operate at the AST level?
Bitching about lang A > lang B is sign of immaturity. Every language had/has a use and arguing about what is better doesnt get anyone anywhere.