Hi Borislav,

I love your patch! Perhaps something to improve:

[auto build test WARNING on tip/x86/core]
[also build test WARNING on v4.20-rc1 next-20181109]
[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/Borislav-Petkov/x86-microcode-AMD-Improve-container-verification/20181109-065233

smatch warnings:
arch/x86/kernel/cpu/microcode/amd.c:368 scan_containers() warn: always true 
condition '(size >= 0) => (0-u32max >= 0)'
arch/x86/kernel/cpu/microcode/amd.c:368 scan_containers() warn: always true 
condition '(size >= 0) => (0-u32max >= 0)'

vim +368 arch/x86/kernel/cpu/microcode/amd.c

   361  
   362  /*
   363   * Scan the ucode blob for the proper container as we can have multiple
   364   * containers glued together.
   365   */
   366  static void scan_containers(u8 *ucode, size_t size, struct cont_desc 
*desc)
   367  {
 > 368          while (size >= 0) {
   369                  size_t s = parse_container(ucode, size, desc);
   370                  if (!s)
   371                          return;
   372  
   373                  /* catch wraparound */
   374                  if (size >= s) {
   375                          ucode += s;
   376                          size  -= s;
   377                  } else
   378                          return;
   379          }
   380  }
   381  

---
0-DAY kernel test infrastructure                Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all                   Intel Corporation

Reply via email to