Sebastian Huber commented: 
https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1266#note_151417


There should be no need for unit tests for this API level behaviour. The 
`rtems_message_queue_construct()` function is tested in 
`testsuites/validation/tc-message-construct.c`. The 
`/rtems/message/req/construct` action requirement includes the case where the 
storage free handler is `NULL`:

 | Pre-Conditions | ←              | ←        | ←                | ←            
    | ←       | ←           | ←              | ←             | Post-Conditions 
| ←       | ←     | ←           |
 | -------------- | -------------- | -------- | ---------------- | 
---------------- | ------- | ----------- | -------------- | ------------- | 
--------------- | ------- | ----- | ----------- |
 | Config         | Name           | Id       | MaxPending       | MaxSize      
    | Free    | Area        | AreaSize       | StorageFree   | Status          
| Name    | IdObj | StorageFree |
 | Valid          | Valid          | Id       | Valid            | Valid        
    | Yes     | Valid       | Valid          | Null          | Ok              
| Valid   | Set   | Nop         |
 | Valid          | Valid          | Id       | Valid            | Valid        
    | Yes     | Valid       | Valid          | Handler       | Ok              
| Valid   | Set   | Free        |
 | Valid          | Valid          | Id       | Valid            | Valid        
    | Yes     | Valid       | Invalid        | Null, Handler | Unsat           
| Invalid | Nop   | N/A         |
 | Valid          | Valid          | Id       | Valid            | Valid        
    | Yes     | Null        | Valid, Invalid | Null, Handler | ↑               
| ↑       | ↑     | ↑           |
 | Valid          | Valid          | Id       | Valid, Big       | Valid, Big   
    | No      | Valid, Null | Valid, Invalid | Null, Handler | TooMany         
| Invalid | Nop   | N/A         |
 | Valid          | Valid          | Id       | Valid, Big       | Zero         
    | Yes, No | Valid, Null | Valid, Invalid | Null, Handler | InvSize         
| Invalid | Nop   | N/A         |
 | Valid          | Valid          | Id       | Valid, Big       | Big          
    | Yes     | Valid, Null | Valid, Invalid | Null, Handler | ↑               
| ↑       | ↑     | ↑           |
 | Valid          | Valid          | Id       | Zero             | Valid, Zero, 
Big | Yes, No | Valid, Null | Valid, Invalid | Null, Handler | InvNum          
| Invalid | Nop   | N/A         |
 | Valid          | Valid          | Id       | Big              | Valid        
    | Yes     | Valid, Null | Valid, Invalid | Null, Handler | ↑               
| ↑       | ↑     | ↑           |
 | Valid          | Invalid        | Id, Null | Valid, Zero, Big | Valid, Zero, 
Big | Yes, No | Valid, Null | Valid, Invalid | Null, Handler | InvName         
| Invalid | Nop   | N/A         |
 | Valid          | Valid          | Null     | Valid, Zero, Big | Valid, Zero, 
Big | Yes, No | Valid, Null | Valid, Invalid | Null, Handler | InvAddr         
| Invalid | Nop   | N/A         |
 | Null           | Valid, Invalid | Id, Null | Valid, Zero, Big | Valid, Zero, 
Big | Yes, No | Valid, Null | Valid, Invalid | Null, Handler | ↑               
| ↑       | ↑     | ↑           |

-- 
View it on GitLab: 
https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1266#note_151417
You're receiving this email because of your account on gitlab.rtems.org.


_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs

Reply via email to