[joro:sev-es-client-tip-5.9 43/76] arch/x86/kernel/sev-es.c:239 handle_vc_boot_ghcb() error: we previously assumed 'boot_ghcb' could be null (see line 236)

[joro:sev-es-client-tip-5.9 43/76] arch/x86/kernel/sev-es.c:239 handle_vc_boot_ghcb() error: we previously assumed 'boot_ghcb' could be null (see line 236)

[kernel test robot]

[-- Attachment #1: Type: text/plain, Size: 1784 bytes --]

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/joro/linux.git sev-es-client-tip-5.9
head:   7e2e0f5fb47e16dec0e6b81ce2ee36abb4c28eb9
commit: c62ca8accbdb20911865b9454ecf1e5e0ce91bae [43/76] x86/sev-es: Setup GHCB based boot #VC handler
config: x86_64-randconfig-m001-20200818 (attached as .config)
compiler: gcc-9 (Debian 9.3.0-15) 9.3.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>

New smatch warnings:
arch/x86/kernel/sev-es.c:239 handle_vc_boot_ghcb() error: we previously assumed 'boot_ghcb' could be null (see line 236)

Old smatch warnings:
arch/x86/kernel/sev-es-shared.c:267 vc_ioio_exitinfo() warn: should 'insn->immediate.value << 16' be a 64 bit type?
arch/x86/kernel/sev-es-shared.c:274 vc_ioio_exitinfo() warn: should 'insn->immediate.value << 16' be a 64 bit type?

# https://git.kernel.org/pub/scm/linux/kernel/git/joro/linux.git/commit/?id=c62ca8accbdb20911865b9454ecf1e5e0ce91bae
git remote add joro https://git.kernel.org/pub/scm/linux/kernel/git/joro/linux.git
git fetch --no-tags joro sev-es-client-tip-5.9
git checkout c62ca8accbdb20911865b9454ecf1e5e0ce91bae
vim +/boot_ghcb +239 arch/x86/kernel/sev-es.c

   228	
   229	bool __init handle_vc_boot_ghcb(struct pt_regs *regs)
   230	{
   231		unsigned long exit_code = regs->orig_ax;
   232		struct es_em_ctxt ctxt;
   233		enum es_result result;
   234	
   235		/* Do initial setup or terminate the guest */
 > 236		if (unlikely(boot_ghcb == NULL && !sev_es_setup_ghcb()))
   237			sev_es_terminate(GHCB_SEV_ES_REASON_GENERAL_REQUEST);
   238	
 > 239		vc_ghcb_invalidate(boot_ghcb);

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org

[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 29592 bytes --]