[PATCH] D16044: getDescriptiveName() for MemRegion

Alexander Droste via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 14 07:33:27 PDT 2016


Alexander_Droste added a comment.

Might the problem be in the va_list checker?
Obviously the va_list variable is identified as an ElementRegion what seems not to be correct. 
Only if the passed region is an ElementRegion indices get appended.


http://reviews.llvm.org/D16044





More information about the cfe-commits mailing list