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

[Aaron Ballman via cfe-commits]

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

Huh, that behavior would be surprising to me because nested subclasses are not 
in the `std` namespace. (Not saying it's wrong for the static analyzer, but I 
would not expect that behavior when doing code reviews, for example.)

https://github.com/llvm/llvm-project/pull/100405
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits