Оглавление
V6131. Casting to a type with a smaller range will result in an overflow.
Анализатор обнаружил приведение целочисленного значения к типу данных с меньшим размером, которое приводит к переполнению. Это происходит из-за того, что исходное значение выходит из допустимого диапазона целевого типа.
Пример случая с переполнением:
static final long MAX_CHUNK_SIZE = 4L * 1024 * 1024 * 1024;
void makeChunks(int fileSize) {
int chunkSize = Math.min(fileSize, (int) MAX_CHUNK_SIZE);
....
}Здесь вычисление 4L * 1024 * 1024 * 1024 равняется 4,294,967,296 (2^32), которое после приводится к int. Это значение выходит за пределы допустимого диапазона int ([-2^31..2^31-1]). В результате значение становится 0 вместо ожидаемого максимума.
Чтобы избежать переполнения, в данном случае необходимо использовать тип long для всех переменных и параметров, участвующих в вычислениях:
static final long MAX_CHUNK_SIZE = 4L * 1024 * 1024 * 1024;
void makeChunks(long fileSize) {
long chunkSize = Math.min(fileSize, MAX_CHUNK_SIZE);
....
}Выявляемые диагностикой ошибки классифицируются согласно ГОСТ Р 71207–2024 как критические и относятся к типу: Ошибки целочисленного переполнения и некорректного совместного использования знаковых и беззнаковых чисел. |
Данная диагностика классифицируется как:
|
Была ли полезна эта страница документации?
