[PATCH v2 0/5] x86/ubsan: fix ubsan on clang + code fixes

[Roger Pau Monne <roger.pau@xxxxxxxxxx>]

Hello,

This started as a series to fix UBSAN when using clang, and the first
patch do fix that.

Finally patches 2 to 4 fix bugs in the code highlighted by the clang UB
pointer arithmetic detection.

Patch 5 was the original goal of the series: be able to enable UBSAN for
randconfig.

Thanks, Roger.

Roger Pau Monne (5):
  x86/wait: prevent duplicated assembly labels
  x86/vga: fix mapping of the VGA text buffer
  x86/xlat: fix UB pointer arithmetic in COMPAT_ARG_XLAT_VIRT_BASE
  x86/shadow: fix UB pointer arithmetic in sh_mfn_is_a_page_table()
  kconfig/randconfig: enable UBSAN for randconfig

 xen/Kconfig                               |  4 ++++
 xen/Kconfig.debug                         |  2 +-
 xen/arch/x86/include/asm/x86_64/uaccess.h |  6 +++---
 xen/arch/x86/mm/shadow/private.h          |  3 ++-
 xen/common/wait.c                         | 10 ++++++++--
 xen/drivers/video/vga.c                   |  4 ++--
 xen/tools/kconfig/allrandom.config        |  1 -
 7 files changed, 20 insertions(+), 10 deletions(-)

-- 
2.48.1