OSDN Git Service

[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)
commit4968ef3366430871ad874a2f5e73a62c853608c9
treecee2c01c8a8d579bc758c5ee8a6e5175675a9ffb
parent35142a98ef1e7581c8a912cfed4c867f98a9204a
[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@277533 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFLAndersAliasAnalysis.cpp