OSDN Git Service

[analyzer] Allow bindings of the CompoundLiteralRegion
authorValeriy Savchenko <vsavchenko@apple.com>
Tue, 28 Apr 2020 09:21:39 +0000 (12:21 +0300)
committerValeriy Savchenko <vsavchenko@apple.com>
Thu, 28 May 2020 11:11:57 +0000 (14:11 +0300)
commitbd06c417e6c717cbe33b566d7bbaf27fb47e763a
treed5732c10be2b3cfbabceee6fbb45fef583e510b9
parentad07d5f39425d4b7013346f4eb52a1e99e6c19a8
[analyzer] Allow bindings of the CompoundLiteralRegion

Summary:
CompoundLiteralRegions have been properly modeled before, but
'getBindingForElement` was not changed to accommodate this change
properly.

rdar://problem/46144644

Differential Revision: https://reviews.llvm.org/D78990
clang/lib/StaticAnalyzer/Core/RegionStore.cpp
clang/test/Analysis/compound-literals.c
clang/test/Analysis/retain-release-compound-literal.m [new file with mode: 0644]
clang/unittests/StaticAnalyzer/StoreTest.cpp