[PATCH] D13126: New static analyzer checker for loss of sign/precision

[Daniel Marjamäki via cfe-commits]

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