[PATCH] D16044: getDescriptiveName() for MemRegion

[Gábor Horváth via cfe-commits]

xazax.hun added a comment.

In http://reviews.llvm.org/D16044#401130, @Alexander_Droste wrote:

> 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.


The memory region for the va_list that was obtained from the analyzer in same case was indeed an element region in the va_list checker. I fixed this issue, and now it works properly.


http://reviews.llvm.org/D16044