Skip to content

Commit a144e54

Browse files
committed
coverity CID 1472869: add an assert to let coverity know that its ok
av->new_dead_array is dereferenced only if nb_new_dead>0 Signed-off-by: Aurelien Bouteiller <bouteill@icl.utk.edu>
1 parent d7a8f27 commit a144e54

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

ompi/mca/coll/ftagree/coll_ftagree_earlyreturning.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
/* -*- Mode: C; c-basic-offset:4 ; -*- */
22
/*
3-
* Copyright (c) 2014-2020 The University of Tennessee and The University
3+
* Copyright (c) 2014-2021 The University of Tennessee and The University
44
* of Tennessee Research Foundation. All rights
55
* reserved.
66
*
@@ -1006,6 +1006,7 @@ static void era_combine_agreement_values(era_agreement_info_t *ni, era_value_t *
10061006
ni->current_value->header.max_aid = value->header.max_aid;
10071007
}
10081008

1009+
assert(NULL != value->new_dead_array || 0 == value->header.nb_new_dead);
10091010
era_merge_new_dead_list(ni, value->header.nb_new_dead, value->new_dead_array);
10101011
}
10111012

0 commit comments

Comments
 (0)