On 26/06/2023 8:29 am, Henry Wang wrote: > However, I noticed Xen will print below during the Dom0 boot: > (XEN) > ================================================================================ > (XEN) UBSAN: Undefined behaviour in arch/arm/vgic.c:371:15 > (XEN) left shift of 1 by 31 places cannot be represented in type 'int' > (XEN) Xen WARN at common/ubsan/ubsan.c:172 > > Just want to make sure you also noticed this, otherwise maybe you > can include another patch in the series to fix this? Or I can do that > in case you don't have enough bandwidth.
Just as a general note. What UBSAN does and doesn't notice depends on your compiler, optimisation level, etc, and whether you encounter a problem case depends on your hardware. Finding differing reports from different people is entirely normal. ~Andrew
