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

Daniel Marjamäki via cfe-commits cfe-commits at lists.llvm.org
Wed Nov 25 04:08:47 PST 2015

danielmarjamaki added a comment.


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?


More information about the cfe-commits mailing list