Skip to content

Commit cab871d

Browse files
Zentrikvtjnash
authored andcommitted
Try to make static analyzer happy
1 parent 8738541 commit cab871d

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
@@ -1182,12 +1182,14 @@ static int subtype_tuple_varargs(
11821182
if (bxp1) {
11831183
if (bxp1->intvalued == 0)
11841184
bxp1->intvalued = 1;
1185+
assert(bxp1->lb); // make static analyzer happy
11851186
if (jl_is_long(bxp1->lb))
11861187
xp1 = bxp1->lb;
11871188
}
11881189
if (byp1) {
11891190
if (byp1->intvalued == 0)
11901191
byp1->intvalued = 1;
1192+
assert(byp1->lb); // make static analyzer happy
11911193
if (jl_is_long(byp1->lb))
11921194
yp1 = byp1->lb;
11931195
}

0 commit comments

Comments
 (0)