[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