reproduce (this is a W=1 build): # https://git.kernel.org/pub/scm/linux/kernel/git/gmonaco/linux.git/commit/?id=386880a9f1cbcb69a2013a0a5a92ab3afa62940a git remote add glemco https://git.kernel.org/pub/scm/linux/kernel/git/gmonaco/linux.git git fetch --no-tags glemco staging_rv_hybrid_automata_enq_lark git checkout 386880a9f1cbcb69a2013a0a5a92ab3afa62940a # apt-get install sparse # sparse: v0.6.5-rc1 # save the config file mkdir build_dir && cp config build_dir/.config make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__ -fmax-errors=unlimited -fmax-warnings=unlimited' O=build_dir ARCH=i386 olddefconfig make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__ -fmax-errors=unlimited -fmax-warnings=unlimited' O=build_dir ARCH=i386 SHELL=/bin/bash kernel/trace/rv/