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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
