diff options
author | Artem Dergachev <artem.dergachev@gmail.com> | 2016-10-31 21:11:20 +0000 |
---|---|---|
committer | Artem Dergachev <artem.dergachev@gmail.com> | 2016-10-31 21:11:20 +0000 |
commit | 75f9d3ac7e442342685432f650a226414b44248b (patch) | |
tree | 4fc21ea0dc4da71847f3dd7eb74fb42f30607808 /clang/lib/Frontend/CompilerInvocation.cpp | |
parent | a1f87e5a1ccedd3525e7752c1012e58df4346f36 (diff) | |
download | bcm5719-llvm-75f9d3ac7e442342685432f650a226414b44248b.tar.gz bcm5719-llvm-75f9d3ac7e442342685432f650a226414b44248b.zip |
[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
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions