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

Reply via email to