[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