[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