HomePhabricator

[analyzer] Model trivial copy/move assignment operators with a bind as well.

Authored by jordan_rose on Mar 15 2013, 7:14 PM.

Description

[analyzer] Model trivial copy/move assignment operators with a bind as well.

r175234 allowed the analyzer to model trivial copy/move constructors as
an aggregate bind. This commit extends that to trivial assignment
operators as well. Like the last commit, one of the motivating factors here
is not warning when the right-hand object is partially-initialized, which
can have legitimate uses.

rdar://problem/13405162

llvm-svn: 177220

Details

Committed
jordan_roseMar 15 2013, 7:14 PM
Parents
rG9f71ad4fa8b2: C++ formatters for NSTimeZone and for CFBitVector
Branches
Unknown
Tags
Unknown