#4817 closed defect (invalid)

Wrong output type

Reported by: Daniel Páscoa Owned by: Needs Funding
Priority: normal Milestone: 7.1
Component: unspecified Version: 6
Severity: normal Keywords: qualification
Cc: Blocked By:
Blocking:

Description

Description:
The function's return value does not match the expected data type. It is recommended to review and correct the function to ensure it returns the appropriate value.

The attached excel lists in a systematic way the sources where this issue applies.

Additional Notes:
This ticket was raised as an outcome of the Independent SW Verification and Validation (ISVV) for ESA-promoted RTEMS SMP Qualification Data Packs (https://rtems-qual.io.esa.int). Original ISVV reference for this issue is RTEMS-SMP-CODE-VER-033.

File list (please check the attached excel for more information):
cpukit\libtest\t-test-time.c

Attachments (1)

RTEMS-SMP-CODE-VER-033.xlsx (9.5 KB) - added by Daniel Páscoa on 01/23/23 at 11:41:18.

Download all attachments as: .zip

Change History (7)

Changed on 01/23/23 at 11:41:18 by Daniel Páscoa

Attachment: RTEMS-SMP-CODE-VER-033.xlsx added

comment:1 Changed on 01/23/23 at 12:54:06 by Sebastian Huber

Could you please elaborate for each function what the problem is.

comment:2 Changed on 01/23/23 at 13:06:26 by Sebastian Huber

Keywords: qualification added

comment:3 Changed on 01/23/23 at 16:26:56 by Daniel Páscoa

As can be observed from the Excel file that is attached to the ticket, there are several functions present that appear to be causing an issue. These functions are:

T_ticks_to_time (line 168)
T_time_to_ticks (line 178)
T_tick (line 229)
T_now_dummy (line 238)
T_now_tick (line 246)

The discrepancy with all of them is that the value returned by the function doesn't match the one the function should return.

comment:4 Changed on 01/23/23 at 16:30:12 by Sebastian Huber

Ok, but what is the problem? Do you have test cases which show that the type conversions have an undesired effect?

comment:5 Changed on 01/24/23 at 10:30:12 by Sebastian Huber

Component: adminunspecified
Milestone: 7.1
Owner: set to Needs Funding
Status: newassigned
Version: 6

comment:6 Changed on 06/13/23 at 12:25:36 by Daniel Páscoa

Resolution: invalid
Status: assignedclosed

This ticket can be dismissed. The concerning code/functions are part of librtemstest.a rather than RTEMS itself.

Note: See TracTickets for help on using tickets.