CompoundLiteralRegions have been properly modeled before, but
'getBindingForElement` was not changed to accommodate this change
properly.
rdar://problem/46144644
Paths
| Differential D78990
[analyzer] Allow bindings of the CompoundLiteralRegion ClosedPublic Authored by vsavchenko on Apr 28 2020, 2:45 AM.
Details Summary CompoundLiteralRegions have been properly modeled before, but rdar://problem/46144644
Diff Detail
Event TimelineHerald added subscribers: cfe-commits, ASDenysPetrov, martong and 9 others. · View Herald Transcript Comment Actions Yay unit tests! Let's squash those mutually cancelling bugs.
Comment Actions Great, thanks!
This revision is now accepted and ready to land.May 28 2020, 2:57 AM Closed by commit rGbd06c417e6c7: [analyzer] Allow bindings of the CompoundLiteralRegion (authored by vsavchenko). · Explain WhyMay 28 2020, 4:18 AM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 260575 clang/lib/StaticAnalyzer/Core/RegionStore.cpp
clang/test/Analysis/compound-literals.c
clang/test/Analysis/retain-release-compound-literal.m
clang/unittests/StaticAnalyzer/StoreTest.cpp
|
Why was this necessary? All these variables seem to be already available in the surrounding scope as fields in ExprEngineConsumer.