HomePhabricator

[analyzer] Allow undefined values in performTrivialCopy.

Authored by dergachev.a on Oct 31 2016, 2:11 PM.

Description

[analyzer] Allow undefined values in performTrivialCopy.

Reading from a garbage pointer should be modeled as garbage,
and performTrivialCopy should be able to deal with any SVal input.

Patch by Ilya Palachev!

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

llvm-svn: 285640