6:04 a.m.
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...
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(a)intel.com>
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@lists.01.org