steakhal added a comment. In D111654#3109585 <https://reviews.llvm.org/D111654#3109585>, @ASDenysPetrov wrote:
> @steakhal Thank you for your suggestion. I'll make corresponding changes. > >> I'm still worried about the fact that you assume that there is a >> correspondence between `ElementRegions` and `InitListExprs`. >> I cannot see why this assumption holds, since reinterpret casts might >> introduce `ElementRegions` which could mess with this assumption. > > Currently in practice `ElementRegions` for array element access expression > look like `InitListExprs` structure. But you are right about mess with > different casts. That's why I have //FIXME's// in `glob_ptr_index2` and > `glob_invalid_index6`. > Right now I'm working on fixing this stuff. I'm gonna refactor > `StoreManager::castRegion` in a part of `ElementRegions` to distinguish > between array indirections and casts. Awesome! Let's get the minor nits addressed and land it. Thank you for working on this. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D111654/new/ https://reviews.llvm.org/D111654 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits