/****************************************************************************
 * mm/ubsan/ubsan.h
 *
 * Licensed to the Apache Software Foundation (ASF) under one or more
 * contributor license agreements.  See the NOTICE file distributed with
 * this work for additional information regarding copyright ownership.  The
 * ASF licenses this file to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance with the
 * License.  You may obtain a copy of the License at
 *
 *   http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.  See the
 * License for the specific language governing permissions and limitations
 * under the License.
 *
 ****************************************************************************/

#ifndef __MM_UBSAN_UBSAN_H
#define __MM_UBSAN_UBSAN_H

/****************************************************************************
 * Included Files
 ****************************************************************************/

#include <stdint.h>

/****************************************************************************
 * Public Types
 ****************************************************************************/

enum type_kind_e
{
  TYPE_KIND_INT     = 0,
  TYPE_KIND_FLOAT   = 1,
  TYPE_KIND_UNKNOWN = 0xffff
};

struct type_descriptor
{
  uint16_t type_kind;
  uint16_t type_info;
  char type_name[1];
};

struct source_location
{
  FAR const char *file_name;
  union
    {
      unsigned long reported;
      struct
        {
          uint32_t line;
          uint32_t column;
        };
    };
};

struct overflow_data
{
  struct source_location location;
  FAR struct type_descriptor *type;
};

struct type_mismatch_data
{
  struct source_location location;
  FAR struct type_descriptor *type;
  unsigned long alignment;
  unsigned char type_check_kind;
};

struct type_mismatch_data_v1
{
  struct source_location location;
  FAR struct type_descriptor *type;
  unsigned char log_alignment;
  unsigned char type_check_kind;
};

struct type_mismatch_data_common
{
  FAR struct source_location *location;
  FAR struct type_descriptor *type;
  unsigned long alignment;
  unsigned char type_check_kind;
};

struct nonnull_arg_data
{
  struct source_location location;
  struct source_location attr_location;
  int arg_index;
};

struct out_of_bounds_data
{
  struct source_location location;
  FAR struct type_descriptor *array_type;
  FAR struct type_descriptor *index_type;
};

struct shift_out_of_bounds_data
{
  struct source_location location;
  FAR struct type_descriptor *lhs_type;
  FAR struct type_descriptor *rhs_type;
};

struct invalid_value_data
{
  struct source_location location;
  FAR struct type_descriptor *type;
};

struct alignment_assumption_data
{
  struct source_location location;
  struct source_location assumption_location;
  FAR struct type_descriptor *type;
};

#endif /* __MM_UBSAN_UBSAN_H */