[PATCH] Minor refactoring of GEP handling in isDereferenceablePointer

Sanjoy Das sanjoy at playingwithpointers.com
Wed Jun 3 18:01:29 PDT 2015


================
Comment at: test/Analysis/ValueTracking/memory-dereferenceable.ll:63
@@ +62,3 @@
+    ; It's OK to overrun static array size as long as we stay within underlying object size
+    %inbounds = getelementptr inbounds %struct.A, %struct.A* @globalstruct, i64 0, i32 0, i64 10
+    %load11 = load i8, i8* %inbounds
----------------
I'd call this `%within_allocation` or something like that, to prevent confusion with the `inbounds` attribute (which is not what we're testing here).

http://reviews.llvm.org/D9874

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/






More information about the llvm-commits mailing list