Skip to content

Commit 5401591

Browse files
committed
Try to make static analyzer happy
1 parent d7b28d5 commit 5401591

File tree

2 files changed

+5
-0
lines changed

2 files changed

+5
-0
lines changed

src/genericmemory.c

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -283,6 +283,9 @@ JL_DLLEXPORT jl_genericmemory_t *jl_genericmemory_copy_slice(jl_genericmemory_t
283283
memcpy(jl_genericmemory_typetagdata(new_mem), jl_genericmemory_typetagdata(mem) + (size_t)data, len);
284284
}
285285
else if (layout->first_ptr != -1) {
286+
if (data == NULL) {
287+
assert(len * elsz / sizeof(void*) == 0); // make static analyzer happy
288+
}
286289
memmove_refs((_Atomic(void*)*)new_mem->ptr, (_Atomic(void*)*)data, len * elsz / sizeof(void*));
287290
}
288291
else if (data != NULL) {

src/subtype.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1163,12 +1163,14 @@ static int subtype_tuple_varargs(
11631163
if (bxp1) {
11641164
if (bxp1->intvalued == 0)
11651165
bxp1->intvalued = 1;
1166+
assert(bxp1->lb); // make static analyzer happy
11661167
if (jl_is_long(bxp1->lb))
11671168
xp1 = bxp1->lb;
11681169
}
11691170
if (byp1) {
11701171
if (byp1->intvalued == 0)
11711172
byp1->intvalued = 1;
1173+
assert(byp1->lb); // make static analyzer happy
11721174
if (jl_is_long(byp1->lb))
11731175
yp1 = byp1->lb;
11741176
}

0 commit comments

Comments
 (0)