]> git.proxmox.com Git - mirror_ubuntu-focal-kernel.git/commit
ubsan, x86: Annotate and allow __ubsan_handle_shift_out_of_bounds() in uaccess regions
authorPeter Zijlstra <peterz@infradead.org>
Mon, 21 Oct 2019 13:11:49 +0000 (15:11 +0200)
committerSeth Forshee <seth.forshee@canonical.com>
Mon, 6 Jan 2020 14:16:06 +0000 (08:16 -0600)
commitc3b2703ac4b102337c36b9cb0f935e3b843168cb
treebf372967d275fe686367f11f66ccf39781ef2825
parenta008f71cfe5ee6a5d1b0c7a2fc55f5217b49593a
ubsan, x86: Annotate and allow __ubsan_handle_shift_out_of_bounds() in uaccess regions

BugLink: https://bugs.launchpad.net/bugs/1858428
[ Upstream commit 9a50dcaf0416a43e1fe411dc61a99c8333c90119 ]

The new check_zeroed_user() function uses variable shifts inside of a
user_access_begin()/user_access_end() section and that results in GCC
emitting __ubsan_handle_shift_out_of_bounds() calls, even though
through value range analysis it would be able to see that the UB in
question is impossible.

Annotate and whitelist this UBSAN function; continued use of
user_access_begin()/user_access_end() will undoubtedly result in
further uses of function.

Reported-by: Randy Dunlap <rdunlap@infradead.org>
Tested-by: Randy Dunlap <rdunlap@infradead.org>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Acked-by: Randy Dunlap <rdunlap@infradead.org>
Acked-by: Christian Brauner <christian.brauner@ubuntu.com>
Cc: Josh Poimboeuf <jpoimboe@redhat.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Stephen Rothwell <sfr@canb.auug.org.au>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: cyphar@cyphar.com
Cc: keescook@chromium.org
Cc: linux@rasmusvillemoes.dk
Fixes: f5a1a536fa14 ("lib: introduce copy_struct_from_user() helper")
Link: https://lkml.kernel.org/r/20191021131149.GA19358@hirez.programming.kicks-ass.net
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Signed-off-by: Sasha Levin <sashal@kernel.org>
Signed-off-by: Seth Forshee <seth.forshee@canonical.com>
lib/ubsan.c
tools/objtool/check.c