The array elements are summed in function void hdr_reset_internal_counters(struct hdr_histogram* h). However, both the array elements and the summation variable have the same int64_t data type:
|
int64_t observed_total_count = 0; |
And then summation:
|
observed_total_count += count_at_index; |
Also, no overflow checks were found in the function itself.
Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author A. Voronin.
The array elements are summed in function
void hdr_reset_internal_counters(struct hdr_histogram* h). However, both the array elements and the summation variable have the same int64_t data type:HdrHistogram_c/src/hdr_histogram.c
Line 278 in 8dcce8f
HdrHistogram_c/src/hdr_histogram.c
Line 283 in 8dcce8f
And then summation:
HdrHistogram_c/src/hdr_histogram.c
Line 287 in 8dcce8f
Also, no overflow checks were found in the function itself.
Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author A. Voronin.