tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master head: 89d714ab6043bca7356b5c823f5335f5dce1f930 commit: 4a26f49b7b3dbe998d9b2561f9f256a1c3fdb74a ubsan: expand tests and reporting date: 11 months ago config: arm-randconfig-r016-20211109 (attached as .config) compiler: clang version 14.0.0 (https://github.com/llvm/llvm-project f3798ad5fa845771846599f3c088016e3aef800c) reproduce (this is a W=1 build): wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross chmod +x ~/bin/make.cross # install arm cross compiling tool for clang build # apt-get install binutils-arm-linux-gnueabi # https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=4a26f49b7b3dbe998d9b2561f9f256a1c3fdb74a git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git git fetch --no-tags linus master git checkout 4a26f49b7b3dbe998d9b2561f9f256a1c3fdb74a # save the attached .config to linux build tree COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross W=1 ARCH=arm If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot <lkp@xxxxxxxxx> All warnings (new ones prefixed by >>): lib/test_ubsan.c:16:15: warning: variable 'val' set but not used [-Wunused-but-set-variable] volatile int val = INT_MAX; ^ lib/test_ubsan.c:17:24: warning: variable 'uval' set but not used [-Wunused-but-set-variable] volatile unsigned int uval = UINT_MAX; ^ lib/test_ubsan.c:29:24: warning: variable 'uval' set but not used [-Wunused-but-set-variable] volatile unsigned int uval = 0; ^ lib/test_ubsan.c:28:15: warning: variable 'val' set but not used [-Wunused-but-set-variable] volatile int val = INT_MIN; ^ lib/test_ubsan.c:42:24: warning: variable 'uval' set but not used [-Wunused-but-set-variable] volatile unsigned int uval = UINT_MAX / 2; ^ lib/test_ubsan.c:41:15: warning: variable 'val' set but not used [-Wunused-but-set-variable] volatile int val = INT_MAX / 2; ^ lib/test_ubsan.c:61:15: warning: variable 'val' set but not used [-Wunused-but-set-variable] volatile int val = 16; ^ >> lib/test_ubsan.c:71:6: warning: variable 'val1' set but not used [-Wunused-but-set-variable] int val1 = 10; ^ lib/test_ubsan.c:72:6: warning: variable 'val2' set but not used [-Wunused-but-set-variable] int val2 = INT_MAX; ^ lib/test_ubsan.c:107:37: warning: variable 'eptr' set but not used [-Wunused-but-set-variable] enum ubsan_test_enum eval, eval2, *eptr; ^ lib/test_ubsan.c:106:19: warning: variable 'ptr' set but not used [-Wunused-but-set-variable] bool val, val2, *ptr; ^ lib/test_ubsan.c:130:6: warning: variable 'val' set but not used [-Wunused-but-set-variable] int val; ^ lib/test_ubsan.c:150:27: warning: variable 'val2' set but not used [-Wunused-but-set-variable] volatile long long *ptr, val2; ^ >> lib/test_ubsan.c:170:28: warning: unused variable 'skip_ubsan_array' [-Wunused-const-variable] static const test_ubsan_fp skip_ubsan_array[] = { ^ 14 warnings generated. vim +/val1 +71 lib/test_ubsan.c 67 68 static void test_ubsan_shift_out_of_bounds(void) 69 { 70 volatile int neg = -1, wrap = 4; > 71 int val1 = 10; 72 int val2 = INT_MAX; 73 74 UBSAN_TEST(CONFIG_UBSAN_SHIFT, "negative exponent"); 75 val1 <<= neg; 76 77 UBSAN_TEST(CONFIG_UBSAN_SHIFT, "left overflow"); 78 val2 <<= wrap; 79 } 80 81 static void test_ubsan_out_of_bounds(void) 82 { 83 volatile int i = 4, j = 5, k = -1; 84 volatile char above[4] = { }; /* Protect surrounding memory. */ 85 volatile int arr[4]; 86 volatile char below[4] = { }; /* Protect surrounding memory. */ 87 88 above[0] = below[0]; 89 90 UBSAN_TEST(CONFIG_UBSAN_BOUNDS, "above"); 91 arr[j] = i; 92 93 UBSAN_TEST(CONFIG_UBSAN_BOUNDS, "below"); 94 arr[k] = i; 95 } 96 97 enum ubsan_test_enum { 98 UBSAN_TEST_ZERO = 0, 99 UBSAN_TEST_ONE, 100 UBSAN_TEST_MAX, 101 }; 102 103 static void test_ubsan_load_invalid_value(void) 104 { 105 volatile char *dst, *src; 106 bool val, val2, *ptr; 107 enum ubsan_test_enum eval, eval2, *eptr; 108 unsigned char c = 0xff; 109 110 UBSAN_TEST(CONFIG_UBSAN_BOOL, "bool"); 111 dst = (char *)&val; 112 src = &c; 113 *dst = *src; 114 115 ptr = &val2; 116 val2 = val; 117 118 UBSAN_TEST(CONFIG_UBSAN_ENUM, "enum"); 119 dst = (char *)&eval; 120 src = &c; 121 *dst = *src; 122 123 eptr = &eval2; 124 eval2 = eval; 125 } 126 127 static void test_ubsan_null_ptr_deref(void) 128 { 129 volatile int *ptr = NULL; 130 int val; 131 132 UBSAN_TEST(CONFIG_UBSAN_OBJECT_SIZE); 133 val = *ptr; 134 } 135 136 static void test_ubsan_misaligned_access(void) 137 { 138 volatile char arr[5] __aligned(4) = {1, 2, 3, 4, 5}; 139 volatile int *ptr, val = 6; 140 141 UBSAN_TEST(CONFIG_UBSAN_ALIGNMENT); 142 ptr = (int *)(arr + 1); 143 *ptr = val; 144 } 145 146 static void test_ubsan_object_size_mismatch(void) 147 { 148 /* "((aligned(8)))" helps this not into be misaligned for ptr-access. */ 149 volatile int val __aligned(8) = 4; 150 volatile long long *ptr, val2; 151 152 UBSAN_TEST(CONFIG_UBSAN_OBJECT_SIZE); 153 ptr = (long long *)&val; 154 val2 = *ptr; 155 } 156 157 static const test_ubsan_fp test_ubsan_array[] = { 158 test_ubsan_add_overflow, 159 test_ubsan_sub_overflow, 160 test_ubsan_mul_overflow, 161 test_ubsan_negate_overflow, 162 test_ubsan_shift_out_of_bounds, 163 test_ubsan_out_of_bounds, 164 test_ubsan_load_invalid_value, 165 test_ubsan_misaligned_access, 166 test_ubsan_object_size_mismatch, 167 }; 168 169 /* Excluded because they Oops the module. */ > 170 static const test_ubsan_fp skip_ubsan_array[] = { 171 test_ubsan_divrem_overflow, 172 test_ubsan_null_ptr_deref, 173 }; 174 --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all@xxxxxxxxxxxx
Attachment:
.config.gz
Description: application/gzip
