xazax.hun added a comment. What is the status of this? As far as I understand it is blocked on that there is no checker that we could use to test this function with unknown variables as indexes? http://reviews.llvm.org/D16044