﻿# V724\. Converting integers or pointers to BOOL can lead to a loss of high\-order bits\. Non\-zero value can become 'FALSE'\.

Анализатор обнаружил в коде ситуацию, при которой преобразование указателей или переменных целочисленного типа к типу BOOL может приводить к потере старших разрядов\. В результате ненулевое значение, которое по сути означает TRUE, может неожиданно превратиться в FALSE\.

В программах тип BOOL \(gboolean, UBool и т\.д\.\) определяется как целочисленный тип\. Любое отличное от нуля значение интерпретируется как истина, а равное нулю – ложь\. Поэтому потеря старших битов при преобразовании типов вызовет ошибку в логике работы программы\.

Рассмотрим пример:

```cpp
typedef long BOOL;
__int64 lLarge = 0x12300000000i64;
BOOL bRes = (BOOL) lLarge;
```

Здесь отличная от нуля переменная при преобразовании в BOOL срезается до нуля, что означает FALSE\.

Рассмотрим другие случаи ошибочного преобразования:

```cpp
int *p;
size_t s;
long long w;
BOOL x = (BOOL)p;
BOOL y = s;
BOOL z = (BOOL)s;
BOOL q = (BOOL)w;
```

Для исправления таких ошибок необходимо выполнить проверку на ненулевое значение перед преобразованием в BOOL\. 

Различные способы исправления:

```cpp
int *p;
size_t s;
long long w;
BOOL x = p != nullptr;
BOOL y = s != 0;
BOOL z = s ? TRUE : FALSE;
BOOL q = !!w;
```