[PATCH] D16227: Make context-sensitive isDereferenceable queries in isSafeToLoadUnconditionally

[Artur Pilipenko via llvm-commits]

apilipenko added a comment.

Context sensitive queries support is required to replace isDereferenceableAndAlignedPointer in isSafeToExecuteSpecualtively (http://reviews.llvm.org/D16232). There is one more change required to do this because isSafeToExecuteSpecualtively can have no context and pass null as ScanFrom (http://reviews.llvm.org/D16231). Does it make sense to combine them into one patch?


http://reviews.llvm.org/D16227