[PATCH] D29395: [ValueTracking] avoid crashing from bad assumptions (PR31809)

[Davide Italiano via Phabricator via llvm-commits]

davide added a comment.

I have a question about the improvement you proposed (inline).



================
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?


Repository:
  rL LLVM

https://reviews.llvm.org/D29395