[clang] 39851e3 - [clang][dataflow] Add a test demonstrating an issue in unchecked-optional-access-check (#110870)
via cfe-commits
cfe-commits at lists.llvm.org
Wed Oct 2 12:04:39 PDT 2024
Author: Jan Voung
Date: 2024-10-02T15:04:35-04:00
New Revision: 39851e3a4641864ce29c7066bf304ae0be325f33
URL: https://github.com/llvm/llvm-project/commit/39851e3a4641864ce29c7066bf304ae0be325f33
DIFF: https://github.com/llvm/llvm-project/commit/39851e3a4641864ce29c7066bf304ae0be325f33.diff
LOG: [clang][dataflow] Add a test demonstrating an issue in unchecked-optional-access-check (#110870)
createStorageLocation used in transferCallReturningOptional:
https://github.com/llvm/llvm-project/blob/09ba83be0ac178851e3c9c9c8fefddbdd4d8353f/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp#L515
can stop recursively creating storage locations when it hits a field of
reference type for a non-optional record:
https://github.com/llvm/llvm-project/blob/3ca5d8082a0c6bd9520544ce3bca11bf3e02a5fa/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp#L67
If an optional is reached through that field then it may not have a
storage location by the type we handle has_value in a transfer function.
Added:
Modified:
clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
Removed:
################################################################################
diff --git a/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp b/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
index 4227a6bfdeba87..877bfce8b27092 100644
--- a/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
+++ b/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
@@ -2873,6 +2873,40 @@ TEST_P(UncheckedOptionalAccessTest, OptionalValueStruct) {
)");
}
+// FIXME: A case that we should handle but currently don't.
+// When there is a field of type reference to non-optional, we may
+// stop recursively creating storage locations.
+// E.g., the field `second` below in `pair` should eventually lead to
+// the optional `x` in `A`.
+TEST_P(UncheckedOptionalAccessTest, NestedOptionalThroughNonOptionalRefField) {
+ ExpectDiagnosticsFor(R"(
+ #include "unchecked_optional_access_test.h"
+
+ struct A {
+ $ns::$optional<int> x;
+ };
+
+ struct pair {
+ int first;
+ const A &second;
+ };
+
+ struct B {
+ $ns::$optional<pair>& nonConstGetRef();
+ };
+
+ void target(B b) {
+ const auto& maybe_pair = b.nonConstGetRef();
+ if (!maybe_pair.has_value())
+ return;
+
+ if(!maybe_pair->second.x.has_value())
+ return;
+ maybe_pair->second.x.value(); // [[unsafe]]
+ }
+ )");
+}
+
TEST_P(UncheckedOptionalAccessTest, OptionalValueInitialization) {
ExpectDiagnosticsFor(
R"(
More information about the cfe-commits
mailing list