Andrey Loskutov
-
2017-10-22
- Status: open --> closed-rejected
BuildCheckReturnAnnotationDatabase is using CHECK_RETURN_VALUE_MEDIUM in case there is now when specified in the code. This is to my opinion contradictory to the ALWAYS case when specified.
The default when of CheckReturnValue is ALWAYS so I think the default CheckReturnValueAnnotation when no explicit when is specified should be CHECK_RETURN_VALUE_HIGH
I have added a modified version of the BuildCheckReturnAnnotationDatabase file.