danielmarjamaki added a comment. ping..
the latest patch has an alternative approach, where the checker track values of symbols. REGISTER_MAP_WITH_PROGRAMSTATE(DeclVal, const ValueDecl *, SVal) The reason I don't use normal ProgramState values is that these symbol values are truncated. I wonder what you think about this alternative approach. if I finish this, will it have a chance to be accepted? http://reviews.llvm.org/D13126 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits