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

Aaron Ballman via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 29 10:02:27 PDT 2024


================
@@ -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


More information about the cfe-commits mailing list