[PATCH] D29395: [ValueTracking] avoid crashing from bad assumptions (PR31809)
Davide Italiano via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Feb 1 08:36:53 PST 2017
davide added inline comments.
Comment at: llvm/trunk/lib/Analysis/ValueTracking.cpp:800-803
+ // FIXME: Implement a stronger version of "I give up" by invalidating/clearing
+ // the assumption cache. This should indicate that the cache is corrupted so
+ // future callers will not waste time repopulating it with faulty assumptions.
> Have you looked into how hard it would be to implement this invalidation? Also, why is that a stronger version? (i.e. there are cases where this actually matters or you're just speculating?)
> Also, clearing the whole assumption cache is really what we want? I mean, what if there are other informations that are not inconsistent and we want to use them anyway?
In other words, I'm not entirely sure we should add this `FIXME`.
More information about the llvm-commits