[clang] [analyzer] Don't invalidate the super region when a std object ctor runs (PR #100405)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 29 09:50:25 PDT 2024


================
@@ -923,12 +923,31 @@ SVal AnyCXXConstructorCall::getCXXThisVal() const {
   return UnknownVal();
 }
 
+static bool isWithinStdNamespace(const Decl *D) {
----------------
steakhal wrote:

AFAIK not quite. Mine works even if the class a nested subclass within the std namespace, such as "std::vector::iterator". So directly using `isInStdNamespace` wouldn't quite cut it.

https://github.com/llvm/llvm-project/pull/100405


More information about the cfe-commits mailing list