HomePhabricator

[analyzer] Support C++17 aggregates with bases without constructors.

Description

[analyzer] Support C++17 aggregates with bases without constructors.

RegionStore now knows how to bind a nonloc::CompoundVal that represents the
value of an aggregate initializer when it has its initial segment of sub-values
correspond to base classes.

Additionally, fixes the crash from pr40022.

Differential Revision: https://reviews.llvm.org/D59054

Details

Committed
NoQMar 14 2019, 5:22 PM
Differential Revision
D59054: [analyzer] C++17: PR40022: Support aggregate initialization with compound values in presence of base classes.
Branches
Unknown
Tags
Unknown