balazske added a comment.

Possible improvements (this is at least a note for me):

- The checker can try to find a check for error-return value until the symbol 
(to check) is released. The warning is generated only if no check for 
error-return was found. This way works for functions that return a numerical 
value that has other meaningful values beside the error-return value. There is 
not necessary that the check for the error return is the first check. For other 
functions the first use of the return value must be the check for error-return. 
(What way to choose is a property of the system call to check.)
- More kinds of error-return kinds can be added. For example: If a function has 
a numerical return value where -1 is error return, a check for "> x" could be 
accepted instead of check for "> -1".


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D72705/new/

https://reviews.llvm.org/D72705



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to