HomePhabricator

[analyzer] Handle zeroing CXXConstructExprs.

Authored by jordan_rose on Jun 24 2013, 6:56 PM.

Description

[analyzer] Handle zeroing CXXConstructExprs.

Re-apply r184511, reverted in r184561, with the trivial default constructor
fast path removed -- it turned out not to be necessary here.

Certain expressions can cause a constructor invocation to zero-initialize
its object even if the constructor itself does no initialization. The
analyzer now handles that before evaluating the call to the constructor,
using the same "default binding" mechanism that calloc() uses, rather
than simply ignoring the zero-initialization flag.

rdar://problem/14212563

llvm-svn: 184815

Details

Committed
jordan_roseJun 24 2013, 6:56 PM
Parents
rGb3b976f0615d: [analyzer] Don't initialize virtual base classes more than once.
Branches
Unknown
Tags
Unknown