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