[PATCH] D20811: [analyzer] Model some library functions
Devin Coughlin via cfe-commits
cfe-commits at lists.llvm.org
Fri Sep 16 08:40:08 PDT 2016
dcoughlin added a comment.
I think this is much clearer! That said, now that I look at it with 'POSTCONDITION' alone I don't think it is clear that the provided value describes the return value. What do you think about renaming it 'RETURN_VALUE'? Or adding back the RET_VAL I asked you about removing before? :-)
Also: do you think CONDITION_KIND is needed? in PRECONDITION? Or can the bare kind be used like in POSTCONDITION?
https://reviews.llvm.org/D20811
More information about the cfe-commits
mailing list