[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-bugs] clang_delta crash files

While running creduce I got a couple of crashes from clang_delta.
I can't find a place to get a version number from creduce but I got it last week from git as far as I can remember. 

All the files are attached.
--
Paulo Matos


Member of the CSR plc group of companies. CSR plc registered in England and Wales, registered number 4187346, registered office Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
More information can be found at www.csr.com. Follow CSR on Twitter at http://twitter.com/CSR_PLC and read our blog at www.csr.com/blog

typedef uint8_t;
typedef struct MBLK_T_tag MBLK_T;
struct MBLK_T_tag
{
  struct
  {
    struct
    {
uint8_t *data} pmalloc} u};
mblk_pmalloc_read_head_data_size;
void mblk_pmalloc_read_head (  )
{
  MBLK_T *mblk = 0;
  memcpy ( 0, mblk->u.pmalloc.data, mblk_pmalloc_read_head_data_size );
}


clang_delta --transformation=copy-propagation --counter=1 mblk_pmalloc.i

typedef uint8_t;
typedef uint16_t;
typedef struct MBLK_T_tag MBLK_T;
typedef mblk_size_t;
typedef struct mblk_vtable mblk_vtable_t;
struct MBLK_T_tag
{
  mblk_vtable_t *vtable;
  struct
  {
    struct
    {
uint8_t *data} pmalloc} u};
mblk_pmalloc_read_head_data;
mblk_pmalloc_read_head_data_size_ref;
mblk_size_t mblk_pmalloc_read_head_data_size;
void mblk_pmalloc_read_head (  )
{
  MBLK_T *mblk = 0;
  
  memcpy ( 0, mblk->u.pmalloc.data, mblk_pmalloc_read_head_data_size );
  mblk->u.pmalloc.data;
}


clang_delta --transformation=copy-propagation --counter=1 mblk_pmalloc.i

typedef uint8_t;
typedef struct MBLK_T_tag MBLK_T;
typedef mblk_size_t;
struct MBLK_T_tag
{
  struct
  {
    struct
    {
uint8_t *data} pmalloc} u};
mblk_pmalloc_read_head_data_size;
void mblk_pmalloc_read_head (  )
{
  MBLK_T *mblk = 0;
  memcpy ( 0, mblk->u.pmalloc.data, mblk_pmalloc_read_head_data_size );
}


clang_delta --transformation=copy-propagation --counter=1 mblk_pmalloc.i

 typedef int uint8_t;
typedef int uint16_t;
typedef struct MBLK_T_tag MBLK_T;
struct att_attr_full128_t;
typedef int size_t;
typedef uint16_t mblk_size_t;
struct
 mblk_vtable_t;
struct MBLK_T_tag
{
  int data_size;
  struct
  {
    struct
    {
      uint8_t *data;
    } pmalloc;
  } u;
};
void *memcpy ( void *, void *, size_t );
void * mblk_pmalloc_read_head_data;
mblk_size_t  mblk_pmalloc_read_head_data_size_ref;
mblk_size_t
mblk_pmalloc_read_head ( void )
{
  MBLK_T * mblk = 0;
  mblk_size_t data_size = mblk_pmalloc_read_head_data_size_ref;
  memcpy ( mblk_pmalloc_read_head_data, mblk->u.pmalloc.data, data_size );
  return mblk->data_size;
}
mblk_size_t
mblk_pmalloc_read_tail 
;
MBLK_T 
mblk_pmalloc_split 
;
mblk_size_t
mblk_pmalloc_coalesce 
;
 

clang_delta --transformation=copy-propagation --counter=1 mblk_pmalloc.i

typedef int uint8_t;
typedef int uint16_t;
typedef struct MBLK_T_tag MBLK_T;
typedef int size_t;
typedef uint16_t mblk_size_t;
struct MBLK_T_tag
{
  int data_size;
  struct
  {
    struct
    {
      uint8_t *data;
    } pmalloc;
  } u;
};
void *memcpy ( void *, void *, size_t );
void *mblk_pmalloc_read_head_data;
mblk_size_t mblk_pmalloc_read_head_data_size_ref;
mblk_size_t
mblk_pmalloc_read_head (  )
{
  MBLK_T *mblk = 0;
  mblk_size_t data_size = mblk_pmalloc_read_head_data_size_ref;
  memcpy ( mblk_pmalloc_read_head_data, mblk->u.pmalloc.data, data_size );
  return mblk->data_size;
}


clang_delta --transformation=copy-propagation --counter=1 mblk_pmalloc.i

 typedef unsigned bool;
typedef short int16;
typedef unsigned char uint8;
typedef unsigned short uint16;
typedef unsigned long uint32;
enum hwakeup_state_enum ;
typedef unsigned char uint8_t;
typedef unsigned short int uint16_t;
typedef unsigned long int uint32_t;
typedef uint8_t bool_t;
typedef struct
 L2CA_FLOWSPEC_T;
typedef struct
 DM_SM_SERVICE_T;
typedef struct MBLK_T_tag MBLK_T;
typedef struct
 BD_ADDR_T;
typedef uint16_t hci_connection_handle_t;
typedef struct
 HCI_COMMAND_COMMON_T;
typedef struct
 HCI_WITH_BD_COMMON_T;
typedef struct
 HCI_EVENT_COMMON_T;
typedef struct
 HCI_ACL_DATA_COMMON_T;
typedef struct
 HCI_SCO_DATA_COMMON_T;
typedef struct
 HCI_INQUIRY_T;
typedef struct
 HCI_REJECT_CONNECTION_REQ_T;
typedef struct
 HCI_LINK_KEY_REQ_REPLY_RET_T;
typedef struct
 HCI_PIN_CODE_REQ_REPLY_T;
typedef struct
 HCI_QOS_SETUP_T;
typedef struct
 HCI_RESET_T;
typedef struct
 CLASS_MASK_T;
typedef struct
 CLASS_MASK_AUTO_T;
typedef struct
 ADDR_AUTO_T;
typedef struct
 CONDITION_T;
typedef struct
 HCI_WRITE_AUTO_FLUSH_TIMEOUT_T;
typedef struct
 HCI_WRITE_AUTO_FLUSH_TIMEOUT_RET_T;
typedef struct
 HCI_WRITE_ANON_MODE_T;
typedef struct
 HCI_READ_LOCAL_VER_INFO_RET_T;
typedef struct
 HCI_READ_BUFFER_SIZE_RET_T;
typedef struct
 HCI_EV_FLOW_SPEC_COMPLETE_T;
typedef struct
 HCI_EV_READ_REM_EXT_FEATURES_COMPLETE_T;
typedef enum
{
    L2CA_RESULT_SUCCESS = 0x0000 , L2CA_RESULT_NOT_READY = 0x0800 * 1 , L2CA_RESULT_FAILED , L2CA_RESULT_KEY_MISSING , L2CA_RESULT_TIMEOUT , L2CA_RESULT_ILLEGAL_PSM , L2CA_RESULT_OUT_OF_MEM , L2CA_RESULT_CONFIG_MISMATCH , L2CA_RESULT_CONFIG_ILLEGAL , L2CA_RESULT_RTM_OVERFLOW , L2CA_RESULT_HARDWARE , L2CA_RESULT_UNSUPPORTED_MODE , L2CA_RESULT_PEER_REJECT_CID , L2CA_RESULT_LINK_LOSS , L2CA_RESULT_SAR_VIOLATION , L2CA_RESULT_FEC_HEADER , L2CA_RESULT_MTU_VIOLATION , L2CA_RESULT_MPS_VIOLATION , L2CA_RESULT_FEC_SEQUENCE , L2CA_RESULT_READ_PARTIAL , L2CA_RESULT_PKT_MISSING , L2CA_RESULT_PKT_MASS_LOSS , L2CA_RESULT_PHYS_FAILED , L2CA_RESULT_ILLEGAL_CID , L2CA_RESULT_INITIATING , L2CA_RESULT_RETRYING , L2CA_RESULT_EXHAUSTED , L2CA_RESULT_PEER_ABORTED , L2CA_RESULT_LOCKSTEP_ERROR , L2CA_RESULT_INITIATOR_REFUSED , L2CA_RESULT_ALREADY_REGISTERED , L2CA_RESULT_PHYS_NO_CONNECTION , L2CA_RESULT_PHYS_CONN_TERM_LOCAL_HOST , L2CA_RESULT_PHYS_INSUFFICIENT_SECURITY , L2CA_RESULT_LOCAL_ABORTED , L2CA_RESULT_SILENT , L2CA_RESULT_CRC_FAILURE , L2CA_RESULT_RAW_COPY , L2CA_RESULT_RAW , L2CA_RESULT_CONFIG_ONGOING
} L2CA_RESULT_T;
typedef enum
 l2ca_conn_result_t;
typedef enum
 l2ca_disc_result_t;
typedef enum
 l2ca_conf_result_t;
typedef enum
 l2ca_info_result_t;
typedef enum
 l2ca_data_result_t;
typedef enum
 l2ca_misc_result_t;
typedef uint16_t l2cap_prim_t;
typedef uint16_t l2ca_conflags_t;
typedef uint32_t l2ca_variation_t;
typedef uint8_t l2ca_flow_mode_t;
typedef uint16_t l2ca_mtu_t;
typedef struct
 L2CA_QOS_T;
typedef struct
 L2CA_FLOW_T;
typedef struct
 L2CA_CONFIG_T;
typedef struct
 L2CA_UPSTREAM_CID_COMMON_T;
typedef struct
 L2CA_GETINFO_CFM_T;
typedef struct
 L2CA_ROUTE_DATA_CFM_T;
typedef struct
 L2CA_UNROUTE_DATA_CFM_T;
typedef struct
 L2CA_UNROUTE_DATA_IND_T;
typedef struct
 L2CA_CONNECT_REQ_T;
typedef struct
 L2CA_CONNECT_CFM_T;
typedef struct
 L2CA_CONFIG_REQ_T;
typedef struct
 L2CA_CONFIG_RSP_T;
typedef enum
 RFC_PRIM_T;
typedef enum
 RFC_FC_T;
typedef struct
 RFC_INIT_REQ_T;
typedef struct
 RFC_REGISTER_REQ_T;
typedef struct
 RFC_REGISTER_CFM_T;
typedef struct
 RFC_DISCONNECT_CFM_T;
typedef struct
 RFC_PORTNEG_VALUES_T;
typedef struct
 RFC_L2CA_AMP_LINK_LOSS_IND_T;
typedef uint16_t att_prim_t;
typedef struct
 ATT_READ_BY_TYPE_CFM_T;
typedef struct
 ATT_READ_BLOB_REQ_T;
typedef struct
 ATT_WRITE_REQ_T;
typedef struct
 ATT_PREPARE_WRITE_CFM_T;
typedef struct
 ATT_EXECUTE_WRITE_REQ_T;
typedef struct
 ATT_ACCESS_IND_T;
typedef struct
 ATT_ACCESS_RSP_T;
typedef struct
 ATT_DEBUG_IND_T;
typedef enum
 stream_config_key;
enum panicid_enum ;
enum io_data_protocol_id_enum
;
enum h4_packet_indicator_enum
;
typedef struct  temperature_calibration;
typedef struct temperature_table  temperature_table;
;
typedef enum ana_48m_client;
typedef struct  BCSPDATAOUTINFO;
typedef struct pio_saved_config_struct
pio_saved_config;
;
typedef enum mic_bias_id;
enum

    num_usb_hardware_instance
;
typedef struct
 MSGFRAG;
typedef enum
 FILE_TYPE;
typedef enum
 partition_filesystem_devices;
typedef struct  audio_preserve_state;
typedef enum
 usb_attached_status;
typedef enum  usb_device_state;
typedef enum
 EndPointAttr;
typedef struct
 ConfigDescriptorInfo;
typedef struct  EPINFO;
typedef struct classinfo_tag CLASSINFO;
typedef struct  REQUEST_TYPE;
typedef struct  USB_SETUP_PKT;
typedef struct  EP_COUNTERS;
typedef struct
 STREAM_HOST_MSGFRAG;
typedef enum BCCMD_STREAM_DEVICE;
typedef uint16_t mblk_size_t;
typedef struct mblk_vtable
{
    mblk_size_t *read_tail;
    mblk_size_t coalesce;
} mblk_vtable_t;
struct MBLK_T_tag
{
    struct MBLK_T_tag *next_ptr;
    const mblk_vtable_t *vtable;
    struct
    {
        struct
        {
            uint8_t *data;
        } pmalloc;
        struct
         duplicate;
    } u;
};
;
void mblk_pmalloc_read_head(void);
;
;
;
;
;
static const mblk_vtable_t vtable =
{
    mblk_pmalloc_read_head,
};
MBLK_T *mblk_pmalloc_new_mblk;
bool_t mblk_pmalloc_new_free_block;
uint16_t mblk_pmalloc_new_added_size;
void * mblk_pmalloc_new_block;
void mblk_pmalloc_new(
                         
                         void)
{
    
    mblk_pmalloc_new_mblk = 0 == 0;
    
    if (mblk_pmalloc_new_mblk)
    mblk_pmalloc_new_mblk->vtable = &vtable;
}
void * mblk_pmalloc_read_head_data;
mblk_size_t  mblk_pmalloc_read_head_data_size_ref;
void mblk_pmalloc_read_head(void)
{
    MBLK_T * mblk = 0;
    mblk_size_t data_size = mblk_pmalloc_read_head_data_size_ref;
        memcpy(mblk_pmalloc_read_head_data, mblk->u.pmalloc.data, data_size);
    mblk->u.pmalloc.data += data_size;
}

;
 

clang_delta --transformation=copy-propagation --counter=1 mblk_pmalloc.i