From: kbuild test robot <lkp@intel.com>
To: Kees Cook <keescook@chromium.org>
Cc: kbuild-all@01.org, Boris Brezillon <boris.brezillon@bootlin.com>,
Brian Norris <computersforpeace@gmail.com>,
David Woodhouse <dwmw2@infradead.org>,
Marek Vasut <marek.vasut@gmail.com>,
Richard Weinberger <richard@nod.at>,
linux-mtd@lists.infradead.org,
Ivan Djelic <ivan.djelic@parrot.com>,
linux-kernel@vger.kernel.org
Subject: Re: [PATCH] lib/bch: Remove VLA usage
Date: Thu, 31 May 2018 19:49:59 +0800 [thread overview]
Message-ID: <201805311902.8kOGDiKL%fengguang.wu@intel.com> (raw)
In-Reply-To: <20180529224207.GA13354@beast>
Hi Kees,
I love your patch! Perhaps something to improve:
[auto build test WARNING on linus/master]
[also build test WARNING on v4.17-rc7 next-20180530]
[if your patch is applied to the wrong git tree, please drop us a note to help improve the system]
url: https://github.com/0day-ci/linux/commits/Kees-Cook/lib-bch-Remove-VLA-usage/20180531-055540
reproduce:
# apt-get install sparse
make ARCH=x86_64 allmodconfig
make C=1 CF=-D__CHECK_ENDIAN__
sparse warnings: (new ones prefixed by >>)
>> lib/bch.c:237:26: sparse: restricted __be32 degrades to integer
vim +237 lib/bch.c
437aa565 Ivan Djelic 2011-03-11 171
437aa565 Ivan Djelic 2011-03-11 172 /**
437aa565 Ivan Djelic 2011-03-11 173 * encode_bch - calculate BCH ecc parity of data
437aa565 Ivan Djelic 2011-03-11 174 * @bch: BCH control structure
437aa565 Ivan Djelic 2011-03-11 175 * @data: data to encode
437aa565 Ivan Djelic 2011-03-11 176 * @len: data length in bytes
437aa565 Ivan Djelic 2011-03-11 177 * @ecc: ecc parity data, must be initialized by caller
437aa565 Ivan Djelic 2011-03-11 178 *
437aa565 Ivan Djelic 2011-03-11 179 * The @ecc parity array is used both as input and output parameter, in order to
437aa565 Ivan Djelic 2011-03-11 180 * allow incremental computations. It should be of the size indicated by member
437aa565 Ivan Djelic 2011-03-11 181 * @ecc_bytes of @bch, and should be initialized to 0 before the first call.
437aa565 Ivan Djelic 2011-03-11 182 *
437aa565 Ivan Djelic 2011-03-11 183 * The exact number of computed ecc parity bits is given by member @ecc_bits of
437aa565 Ivan Djelic 2011-03-11 184 * @bch; it may be less than m*t for large values of t.
437aa565 Ivan Djelic 2011-03-11 185 */
437aa565 Ivan Djelic 2011-03-11 186 void encode_bch(struct bch_control *bch, const uint8_t *data,
437aa565 Ivan Djelic 2011-03-11 187 unsigned int len, uint8_t *ecc)
437aa565 Ivan Djelic 2011-03-11 188 {
437aa565 Ivan Djelic 2011-03-11 189 const unsigned int l = BCH_ECC_WORDS(bch)-1;
437aa565 Ivan Djelic 2011-03-11 190 unsigned int i, mlen;
437aa565 Ivan Djelic 2011-03-11 191 unsigned long m;
da5dc7be Kees Cook 2018-05-29 192 uint32_t w;
437aa565 Ivan Djelic 2011-03-11 193 const uint32_t * const tab0 = bch->mod8_tab;
437aa565 Ivan Djelic 2011-03-11 194 const uint32_t * const tab1 = tab0 + 256*(l+1);
437aa565 Ivan Djelic 2011-03-11 195 const uint32_t * const tab2 = tab1 + 256*(l+1);
437aa565 Ivan Djelic 2011-03-11 196 const uint32_t * const tab3 = tab2 + 256*(l+1);
437aa565 Ivan Djelic 2011-03-11 197 const uint32_t *pdata, *p0, *p1, *p2, *p3;
437aa565 Ivan Djelic 2011-03-11 198
437aa565 Ivan Djelic 2011-03-11 199 if (ecc) {
437aa565 Ivan Djelic 2011-03-11 200 /* load ecc parity bytes into internal 32-bit buffer */
437aa565 Ivan Djelic 2011-03-11 201 load_ecc8(bch, bch->ecc_buf, ecc);
437aa565 Ivan Djelic 2011-03-11 202 } else {
da5dc7be Kees Cook 2018-05-29 203 memset(bch->ecc_work, 0, bch->ecc_bytes);
437aa565 Ivan Djelic 2011-03-11 204 }
437aa565 Ivan Djelic 2011-03-11 205
437aa565 Ivan Djelic 2011-03-11 206 /* process first unaligned data bytes */
437aa565 Ivan Djelic 2011-03-11 207 m = ((unsigned long)data) & 3;
437aa565 Ivan Djelic 2011-03-11 208 if (m) {
437aa565 Ivan Djelic 2011-03-11 209 mlen = (len < (4-m)) ? len : 4-m;
437aa565 Ivan Djelic 2011-03-11 210 encode_bch_unaligned(bch, data, mlen, bch->ecc_buf);
437aa565 Ivan Djelic 2011-03-11 211 data += mlen;
437aa565 Ivan Djelic 2011-03-11 212 len -= mlen;
437aa565 Ivan Djelic 2011-03-11 213 }
437aa565 Ivan Djelic 2011-03-11 214
437aa565 Ivan Djelic 2011-03-11 215 /* process 32-bit aligned data words */
437aa565 Ivan Djelic 2011-03-11 216 pdata = (uint32_t *)data;
437aa565 Ivan Djelic 2011-03-11 217 mlen = len/4;
437aa565 Ivan Djelic 2011-03-11 218 data += 4*mlen;
437aa565 Ivan Djelic 2011-03-11 219 len -= 4*mlen;
da5dc7be Kees Cook 2018-05-29 220 memcpy(bch->ecc_work, bch->ecc_buf, bch->ecc_bytes);
437aa565 Ivan Djelic 2011-03-11 221
437aa565 Ivan Djelic 2011-03-11 222 /*
437aa565 Ivan Djelic 2011-03-11 223 * split each 32-bit word into 4 polynomials of weight 8 as follows:
437aa565 Ivan Djelic 2011-03-11 224 *
437aa565 Ivan Djelic 2011-03-11 225 * 31 ...24 23 ...16 15 ... 8 7 ... 0
437aa565 Ivan Djelic 2011-03-11 226 * xxxxxxxx yyyyyyyy zzzzzzzz tttttttt
437aa565 Ivan Djelic 2011-03-11 227 * tttttttt mod g = r0 (precomputed)
437aa565 Ivan Djelic 2011-03-11 228 * zzzzzzzz 00000000 mod g = r1 (precomputed)
437aa565 Ivan Djelic 2011-03-11 229 * yyyyyyyy 00000000 00000000 mod g = r2 (precomputed)
437aa565 Ivan Djelic 2011-03-11 230 * xxxxxxxx 00000000 00000000 00000000 mod g = r3 (precomputed)
437aa565 Ivan Djelic 2011-03-11 231 * xxxxxxxx yyyyyyyy zzzzzzzz tttttttt mod g = r0^r1^r2^r3
437aa565 Ivan Djelic 2011-03-11 232 */
437aa565 Ivan Djelic 2011-03-11 233 while (mlen--) {
da5dc7be Kees Cook 2018-05-29 234 uint32_t *r = bch->ecc_work;
da5dc7be Kees Cook 2018-05-29 235
437aa565 Ivan Djelic 2011-03-11 236 /* input data is read in big-endian format */
437aa565 Ivan Djelic 2011-03-11 @237 w = r[0]^cpu_to_be32(*pdata++);
437aa565 Ivan Djelic 2011-03-11 238 p0 = tab0 + (l+1)*((w >> 0) & 0xff);
437aa565 Ivan Djelic 2011-03-11 239 p1 = tab1 + (l+1)*((w >> 8) & 0xff);
437aa565 Ivan Djelic 2011-03-11 240 p2 = tab2 + (l+1)*((w >> 16) & 0xff);
437aa565 Ivan Djelic 2011-03-11 241 p3 = tab3 + (l+1)*((w >> 24) & 0xff);
437aa565 Ivan Djelic 2011-03-11 242
437aa565 Ivan Djelic 2011-03-11 243 for (i = 0; i < l; i++)
437aa565 Ivan Djelic 2011-03-11 244 r[i] = r[i+1]^p0[i]^p1[i]^p2[i]^p3[i];
437aa565 Ivan Djelic 2011-03-11 245
437aa565 Ivan Djelic 2011-03-11 246 r[l] = p0[l]^p1[l]^p2[l]^p3[l];
437aa565 Ivan Djelic 2011-03-11 247 }
da5dc7be Kees Cook 2018-05-29 248 memcpy(bch->ecc_buf, bch->ecc_work, bch->ecc_bytes);
437aa565 Ivan Djelic 2011-03-11 249
437aa565 Ivan Djelic 2011-03-11 250 /* process last unaligned bytes */
437aa565 Ivan Djelic 2011-03-11 251 if (len)
437aa565 Ivan Djelic 2011-03-11 252 encode_bch_unaligned(bch, data, len, bch->ecc_buf);
437aa565 Ivan Djelic 2011-03-11 253
437aa565 Ivan Djelic 2011-03-11 254 /* store ecc parity bytes into original parity buffer */
437aa565 Ivan Djelic 2011-03-11 255 if (ecc)
437aa565 Ivan Djelic 2011-03-11 256 store_ecc8(bch, ecc, bch->ecc_buf);
437aa565 Ivan Djelic 2011-03-11 257 }
437aa565 Ivan Djelic 2011-03-11 258 EXPORT_SYMBOL_GPL(encode_bch);
437aa565 Ivan Djelic 2011-03-11 259
:::::: The code at line 237 was first introduced by commit
:::::: 437aa565e2656776a7104aaacd792fe789ea8b2d lib: add shared BCH ECC library
:::::: TO: Ivan Djelic <ivan.djelic@parrot.com>
:::::: CC: David Woodhouse <David.Woodhouse@intel.com>
---
0-DAY kernel test infrastructure Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all Intel Corporation
prev parent reply other threads:[~2018-05-31 11:50 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-29 22:42 Kees Cook
2018-05-30 13:46 ` Ivan Djelic
2018-05-30 21:12 ` Kees Cook
2018-05-31 11:49 ` kbuild test robot [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=201805311902.8kOGDiKL%fengguang.wu@intel.com \
--to=lkp@intel.com \
--cc=boris.brezillon@bootlin.com \
--cc=computersforpeace@gmail.com \
--cc=dwmw2@infradead.org \
--cc=ivan.djelic@parrot.com \
--cc=kbuild-all@01.org \
--cc=keescook@chromium.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mtd@lists.infradead.org \
--cc=marek.vasut@gmail.com \
--cc=richard@nod.at \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®