aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Modules/ModuleDebugInfo.cpp
diff options
context:
space:
mode:
authorPhilip Reames <listmail@philipreames.com>2016-04-26 21:48:16 +0000
committerPhilip Reames <listmail@philipreames.com>2016-04-26 21:48:16 +0000
commit38c87c2e504a2e12a40ae12dd98e16058f304ac2 (patch)
treee0cb42be3aa63705127d5d2db8382ea60d75266a /clang/test/Modules/ModuleDebugInfo.cpp
parent2bee5ef462d1ffefeb17c150b2e43e15a39e4cf5 (diff)
downloadllvm-38c87c2e504a2e12a40ae12dd98e16058f304ac2.zip
llvm-38c87c2e504a2e12a40ae12dd98e16058f304ac2.tar.gz
llvm-38c87c2e504a2e12a40ae12dd98e16058f304ac2.tar.bz2
[LVI] Infer local facts from unary expressions
As pointed out by John Regehr over in http://reviews.llvm.org/D19485, LVI was being incredibly stupid about applying its transfer rules. Rather than gathering local facts from the expression itself, it was simply giving up entirely if one of the inputs was overdefined. This greatly impacts the precision of the overall analysis and makes it far more fragile as well. This patch implements only the unary operation case. Once this is in, I'll implement the same for the binary operations. Differential Revision: http://reviews.llvm.org/D19492 llvm-svn: 267609
Diffstat (limited to 'clang/test/Modules/ModuleDebugInfo.cpp')
0 files changed, 0 insertions, 0 deletions