We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d8837ca commit b2b269fCopy full SHA for b2b269f
clang/unittests/StaticAnalyzer/MemRegionDescriptiveNameTest.cpp
@@ -156,4 +156,18 @@ void top() {
156
EXPECT_EQ(Output, "DescriptiveNameChecker: val_struct_array[0].val\n");
157
}
158
159
+TEST(MemRegionDescriptiveNameTest, FieldRegWithSuperMultidimElementReg) {
160
+ StringRef Code = R"cpp(
161
+void reportDescriptiveName(int *p);
162
+struct val_struct { int val; };
163
+extern struct val_struct val_struct_array[3][4];
164
+void top() {
165
+ reportDescriptiveName(&val_struct_array[1][2].val);
166
+})cpp";
167
+
168
+ std::string Output;
169
+ ASSERT_TRUE(runChecker(Code, Output));
170
+ EXPECT_EQ(Output, "DescriptiveNameChecker: val_struct_array[1][2].val\n");
171
+}
172
173
} // namespace
0 commit comments