x86/sgx: Avoid using iterator after loop in sgx_mmu_notifier_release()
authorJakob Koschel <jkl820.git@gmail.com>
Wed, 1 Mar 2023 11:17:29 +0000 (12:17 +0100)
committerBorislav Petkov (AMD) <bp@alien8.de>
Tue, 13 Jun 2023 14:21:01 +0000 (16:21 +0200)
commit1e327963cfab0e02eeeb0331178d6c353c959cd6
tree931ed8965aa0f173ca15939117b1386409fa7ae1
parent858fd168a95c5b9669aac8db6c14a9aeab446375
x86/sgx: Avoid using iterator after loop in sgx_mmu_notifier_release()

If &encl_mm->encl->mm_list does not contain the searched 'encl_mm',
'tmp' will not point to a valid sgx_encl_mm struct.

Linus proposed to avoid any use of the list iterator variable after the
loop, in the attempt to move the list iterator variable declaration into
the macro to avoid any potential misuse after the loop. Using it in
a pointer comparison after the loop is undefined behavior and should be
omitted if possible, see Link tag.

Instead, just use a 'found' boolean to indicate if an element was found.

  [ bp: Massage, fix typos. ]

Signed-off-by: Jakob Koschel <jkl820.git@gmail.com>
Signed-off-by: Borislav Petkov (AMD) <bp@alien8.de>
Reviewed-by: Jarkko Sakkinen <jarkko@kernel.org>
Acked-by: Dave Hansen <dave.hansen@linux.intel.com>
Link: https://lore.kernel.org/all/CAHk-=wgRr_D8CB-D9Kg-c=EHreAsk5SqXPwr9Y7k9sA6cWXJ6w@mail.gmail.com/
Link: https://lore.kernel.org/r/20230206-sgx-use-after-iter-v2-1-736ca621adc3@gmail.com
arch/x86/kernel/cpu/sgx/encl.c