[PATCH] D16044: getDescriptiveName() for MemRegion

Alexander Droste via cfe-commits cfe-commits at lists.llvm.org
Tue Apr 12 07:48:55 PDT 2016


Alexander_Droste 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?


Yes, this is blocked due to the MPI-Checker dependency. The best thing I can offer at the moment is to remove my tests and leave the coverage up to you. 
I think the question is if an initial commit of this function without tests would be tolerated, what would also remove the cyclic commit dependency.


http://reviews.llvm.org/D16044





More information about the cfe-commits mailing list