linux-imx

// SPDX-License-Identifier: GPL-2.0

#include <linux/init.h>

#include <linux/kernel.h>

#include <linux/module.h>

​

typedef void(*test_ubsan_fp)(void);

​

static void test_ubsan_add_overflow(void)

{

    volatile int val = INT_MAX;

​

    val += 2;

}

​

static void test_ubsan_sub_overflow(void)

{

    volatile int val = INT_MIN;

    volatile int val2 = 2;

​

    val -= val2;

}

​

static void test_ubsan_mul_overflow(void)

{

    volatile int val = INT_MAX / 2;

​

    val *= 3;

}

​

static void test_ubsan_negate_overflow(void)

{

    volatile int val = INT_MIN;

​

    val = -val;

}

​

static void test_ubsan_divrem_overflow(void)

{

    volatile int val = 16;

    volatile int val2 = 0;

​

    val /= val2;

}

​

static void test_ubsan_shift_out_of_bounds(void)

{

    volatile int val = -1;

    int val2 = 10;

​

    val2 <<= val;

}

​

static void test_ubsan_out_of_bounds(void)

{

    volatile int i = 4, j = 5;

    volatile int arr[4];

​

    arr[j] = i;

}

​

static void test_ubsan_load_invalid_value(void)

{

    volatile char *dst, *src;