Примеры ошибок, обнаруженных с помощью диагностики V786

V786. It is odd that value C is assigned to the X variable. The value range of variable: [A, B].

Tizen

V786 It is odd that value 'BT_PROXIMITY_LINKLOSS_ALERT | BT_PROXIMITY_IMMEDIATE_ALERT' is assigned to the 'reporter_s->services_supported' variable. The value range of 'reporter_s->services_supported' variable: [0, 1]. bluetooth-proximity.c 105

typedef enum {
  BT_PROXIMITY_LINKLOSS_ALERT = 0x01,
  BT_PROXIMITY_IMMEDIATE_ALERT = 0x02,
  BT_PROXIMITY_TX_POWER = 0x04,
} bt_proximity_property_t;

typedef struct {
  bt_proximity_reporter_server_s reporter_server;
  bool services_supported;                                 // <=
  bool connected;

  const void *connection_callback;
  void *user_data;
} bt_proximity_reporter_s;

static bt_proximity_reporter_s *reporter_s = NULL;

int bt_proximity_reporter_create(....)
{
  ....
  reporter_s->services_supported =                         // <=
    BT_PROXIMITY_LINKLOSS_ALERT | BT_PROXIMITY_IMMEDIATE_ALERT;
  ....
}

iSulad

V786 [CWE-197, CERT-MSC01-C] It is odd that value '-1' is assigned to the 'ret' variable. The value range of 'ret' variable: [0..1]. storage.c 726

static int check_image_occupancy_status(const char *img_id, bool *in_using)
{
  bool ret = 0;
  ....
  all_rootfs = util_common_calloc_s(sizeof(struct rootfs_list));
  if (all_rootfs == NULL) {
    ERROR("Out of memory");
    ret = -1;
    goto out;
  }
  ....
out:
  free(img_long_id);
  free_rootfs_list(all_rootfs);
  return ret;
}