Mirrors_Framework/rtems
1
0
Fork 0
mirror of https://gitlab.rtems.org/rtems/rtos/rtems.git synced 2026-08-22 05:10:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

objectextendinformation.c: Ensure information->object_blocks is not NULL

Browse Source 
CID 26033: Dereference after null check in _Objects_Extend_information().

Closes #4326
This commit is contained in:
Ryan Long
2021-04-29 09:48:00 -05:00
committed by Joel Sherrill
parent a70d60aff7
commit cdf66529fd
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
cpukit/score/src/objectextendinformation.c
+11
View File
@@ -170,6 +170,17 @@ Objects_Maximum _Objects_Extend_information(
block_count--;
if ( old_maximum > extend_count ) {
/*
* Coverity thinks there is a way for this to be NULL (CID #26033).
* After much time spent analyzing this, no one has identified the
* conditions where this can actually occur. Adding this _Assert ensures
* that it is never NULL. If this assert is triggered, condition
* generating this case will have been identified and it can be revisted.
* This is being done out of an abundance of caution since we could have
* easily flagged this as a false positive and ignored it completely.
*/
_Assert(information->object_blocks != NULL);
/*
* Copy each section of the table over. This has to be performed as
* separate parts as size of each block has changed.