[PATCH] D25727: [analyzer] Handle case of undefined values in performTrivialCopy

This revision was automatically updated to reflect the committed changes. Closed by commit rL285640: [analyzer] Allow undefined values in performTrivialCopy. (authored by dergachev). Changed prior to commit: https://reviews.llvm.org/D25727?vs=74994&id=76482#toc Repository: rL LLVM https://r

[PATCH] D25727: [analyzer] Handle case of undefined values in performTrivialCopy

NoQ accepted this revision. NoQ added a comment. This revision is now accepted and ready to land. This seems correct. Loading from a garbage pointer should be modeled as garbage, and/or caught by a checker. `performTrivialCopy` is a high-level thingy that should be able to deal with any `SVal` i