[PATCH] D15597: [ValueTracking] Handle opaque types in isDereferenceableAndAlignedPointer.

[Philip Reames via llvm-commits]

reames added inline comments.

================
Comment at: lib/Analysis/ValueTracking.cpp:3302
@@ -3301,2 +3301,3 @@
 
-    if (Offset.isNonNegative())
+    // Don't deal with opaque types - we don't know whether they're aligned or
+    // not.
----------------
Why are opaque types considered sized?  If they're opaque and we don't yet have a body, how can they be sized?  That seems like the root of the problem here.


http://reviews.llvm.org/D15597