On Thu, Feb 11, 2021 at 2:19 PM Joel Sherrill <j...@rtems.org> wrote:
>
>
>
> On Thu, Feb 11, 2021 at 3:12 PM Gedare Bloom <ged...@rtems.org> wrote:
>>
>> On Thu, Feb 11, 2021 at 1:28 PM Ryan Long <thisisryanl...@gmail.com> wrote:
>> >
>> > These macros are to be used to check the status from calls that are
>> > flagged by
>> > Coverity as 'Unchecked return value'.
>> > ---
>> > cpukit/include/rtems/score/assert.h | 30 ++++++++++++++++++++++++++++++
>> > 1 file changed, 30 insertions(+)
>> >
>> > diff --git a/cpukit/include/rtems/score/assert.h
>> > b/cpukit/include/rtems/score/assert.h
>> > index cc32448..7efaae4 100644
>> > --- a/cpukit/include/rtems/score/assert.h
>> > +++ b/cpukit/include/rtems/score/assert.h
>> > @@ -99,6 +99,36 @@ extern "C" {
>> > #endif
>> >
>> > /**
>> > + * @brief Assert if unused return value is equal.
>> Improve this phrase: "is equal to an expected status." maybe
>>
>> > + *
>> > + * Assert whether @a _status and @a _value are equal and ensure @a
>> > _status is
>> s/whether/that
>>
>> > + * marked as used when not building for debug.
>> > + *
>> > + * @param _status The return value to be checked.
>> > + * @param _value Indicates what @a _status is supposed to be.
>> > + */
>> > +#define _Assert_Unused_return_value_equal(_status,_value) \
>> I think "value_is_equal" will be better.
>>
>> I think the name should be more clear that _status is a variable.
>> Maybe, _status_variable
>
>
> When the name is long, it had a tendency to wrap. Got a shorter suggestion?
_Assert_Unused_variable_equals(_var,_val)
>>
>>
>> Since a status can be a value. Or, call _status as _rv since it is
>> explicitly a returned value. It need not be a "status" indicator.
>
>
> And you do. _rv is fine with me. Ryan and I struggled to shorten names from
> our initial discussion.
>
>>
>>
>> Similarily, instead of _value maybe it is better to call it
>> _check_value explicitly
>
>
> Ryan try the longest names first. If it is > 80, try _rv and _expected.
>>
>>
>> > + do { \
>> > + _Assert((_status) == (_value)); \
>> > + (void) (_status); \
>> > + } while (0)
>> > +
>> > +/**
>> > + * @brief Assert if unused return value is not equal.
>>
>> > + *
>> > + * Assert whether @a _status and @a _value are not equal and ensure @a
>> > _status
>> > + * is marked as used when not building for debug.
>> > + *
>> > + * @param _status The return value to be checked.
>> > + * @param _value Indicates what @a _status is not supposed to be.
>> > + */
>> > +#define _Assert_Unused_return_value_not_equal(_status,_value) \
>> Maybe value_is_not
>>
>> same as above, use _rv instead of _status
_Assert_Unused_variable_unequal() :)
>>
>> > + do { \
>> > + _Assert((_status) != (_value)); \
>> > + (void) (_status); \
>> > + } while (0)
>> > +
>> > +/**
>> > * @brief Returns true if thread dispatching is allowed.
>> > *
>> > * Thread dispatching can be repressed via _Thread_Disable_dispatch() or
>> > --
>> > 1.8.3.1
>> >
>> > _______________________________________________
>> > devel mailing list
>> > devel@rtems.org
>> > http://lists.rtems.org/mailman/listinfo/devel
>> _______________________________________________
>> devel mailing list
>> devel@rtems.org
>> http://lists.rtems.org/mailman/listinfo/devel
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
