projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb685cd) | patch
[CFLAA] Be more conservative with values we haven't seen.
authorGeorge Burgess IV <george.burgess.iv@gmail.com>
Tue, 2 Aug 2016 22:17:25 +0000 (22:17 +0000)
committerGeorge Burgess IV <george.burgess.iv@gmail.com>
Tue, 2 Aug 2016 22:17:25 +0000 (22:17 +0000)
commit777efb162000e9fc8ef3df3ba901c5d6f8bab829
tree087ac75d890670d40ce447666de17a0ef087f707tree | snapshot
parenteb685cd7984176eeb5140b7661714402a0339cf2commit | diff
[CFLAA] Be more conservative with values we haven't seen.

There were issues with simply reporting AttrUnknown on
previously-unknown values in CFLAnders. So, we now act *entirely*
conservatively for values we haven't seen before. As in the prior patch
(r277362), writing a lit test for this isn't exactly trivial. If someone
wants a test badly, I'm willing to try to write one.

Patch by Jia Chen.

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

llvm-svn: 277533
llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp diff | blob | history
Domain: System / Toolchain;