LazyCompoundVals should only appear as default bindings in the
store. This fixes the second case in this patch-stack.
Depends on: D132142
Paths
| Differential D132143
[analyzer] LazyCompoundVals should be always bound as default bindings ClosedPublic Authored by steakhal on Aug 18 2022, 8:45 AM.
Details Summary LazyCompoundVals should only appear as default bindings in the Depends on: D132142
Diff Detail
Event Timelinesteakhal added a parent revision: D132142: [analyzer] Prefer wrapping SymbolicRegions by ElementRegions.Aug 18 2022, 8:46 AM steakhal added a child revision: D132236: [analyzer] Fix liveness of LazyCompoundVals.Aug 19 2022, 8:20 AM This revision is now accepted and ready to land.Aug 19 2022, 8:32 AM Closed by commit rGafcd862b2e0a: [analyzer] LazyCompoundVals should be always bound as default bindings (authored by steakhal). · Explain WhySep 12 2022, 11:59 PM This revision was automatically updated to reflect the committed changes. tomasz-kaminski-sonarsource removed a child revision: D132236: [analyzer] Fix liveness of LazyCompoundVals.Sep 30 2022, 2:04 AM
Revision Contents
Diff 459657 clang/lib/StaticAnalyzer/Core/RegionStore.cpp
clang/test/Analysis/trivial-copy-struct.cpp
|