muggenhor created this revision.
Herald added subscribers: carlosgalvezp, xazax.hun.
Herald added a reviewer: NoQ.
Herald added a project: All.
muggenhor requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D151192
Files:
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
Index: clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
===
--- clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
+++ clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
@@ -50,7 +50,8 @@
if (RD.getName() == "optional") {
if (const auto *N = dyn_cast_or_null(RD.getDeclContext()))
- return N->isStdNamespace() || isTopLevelNamespaceWithName(*N, "absl");
+ return N->isStdNamespace() || isTopLevelNamespaceWithName(*N, "absl") ||
+ isTopLevelNamespaceWithName(*N, "boost");
return false;
}
Index: clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
===
--- clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
+++ clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
@@ -50,7 +50,8 @@
if (RD.getName() == "optional") {
if (const auto *N = dyn_cast_or_null(RD.getDeclContext()))
- return N->isStdNamespace() || isTopLevelNamespaceWithName(*N, "absl");
+ return N->isStdNamespace() || isTopLevelNamespaceWithName(*N, "absl") ||
+ isTopLevelNamespaceWithName(*N, "boost");
return false;
}
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits