[clang] [clang][dataflow] Fully support Environment construction for Stmt analysis. (PR #91616)
via cfe-commits
cfe-commits at lists.llvm.org
Wed May 15 01:07:35 PDT 2024
================
@@ -403,4 +405,35 @@ TEST_F(EnvironmentTest,
Contains(Member));
}
+TEST_F(EnvironmentTest, Stmt) {
+ using namespace ast_matchers;
+
+ std::string Code = R"cc(
+ struct S {int i;};
+ void foo() {
+ S AnS = S{1};
+ }
----------------
martinboehme wrote:
Is there a reason the variable declaration needs to be wrapped in a function? Seems it would be easier to do this with a global variable, and at the same time, this would demonstrate that we can analyze code that lives outside a function.
```suggestion
S AnS = S{1};
```
https://github.com/llvm/llvm-project/pull/91616
More information about the cfe-commits
mailing list