HomePhabricator

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

Authored by dergachev.a on Thu, Mar 14, 5:22 PM.

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

llvm-svn: 356222