Date:   Wed, 8 Feb 2023 15:11:21 +0800
From:   Yujie Liu <yujie.liu@intel.com>
To:     Sean Christopherson <seanjc@google.com>
CC:     kernel test robot <lkp@intel.com>, <oe-kbuild-all@lists.linux.dev>,
        <linux-kernel@vger.kernel.org>, Paolo Bonzini <pbonzini@redhat.com>
Subject: Re: arch/x86/kvm/mmu/paging_tmpl.h:106:24: sparse: sparse: cast
 truncates bits from constant value (ffffffffff000 becomes fffff000)
Message-ID: <Y+NLGY7ztExSFGpi@yujie-X299>
References: <202302070638.iEBPQ4gL-lkp@intel.com>
 <Y+Lf8w9h29cRmcJG@google.com>
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <Y+Lf8w9h29cRmcJG@google.com>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?9Qb10Qc/XESwlHzBQHElupZNWPlbHiBcBI4vEHRcI8YSjIEr48RzKcJYAFZ3?=
 =?us-ascii?Q?9P4ilAWd7waTf5nhWJ5YteyMwhPJRhy+EFVjz+uKQ1CsaeCSGxu1411jCbLw?=
 =?us-ascii?Q?vfGENDzvzenf/xUhCdJkIyHqBNDnmWUQtMZkYYNYcKFWdMKdIKShZBTw5y07?=
 =?us-ascii?Q?4LrR3AJc03Uav6zmfsrNCOpFp1BnbFV/vFG3V+HFKzZHoEZl+Yi2S9MLyXCT?=
 =?us-ascii?Q?8XG+CXtxNlkzriRlSYeAJBPA/JGvqxM7iQ1RrUPDUV+UqDsgLqvIy3i7oOZa?=
 =?us-ascii?Q?ZkpezoFosFfD1fLsjQo2nrHWwYiB/utpLYpFhm9i1cqxdV1yp6EK0e8YDrBB?=
 =?us-ascii?Q?cIpesz+klD4672gK0MIsCBunby+inZDWBN+5h7kw63sF0cBWVffQRwKvqM+J?=
 =?us-ascii?Q?C6I0qEV0I+NhJwrpUadRUiOvvl+5I5qgQOYyYWZBeARw42itX4x/VS23h/9s?=
 =?us-ascii?Q?Xme+MWv/o6r5Pq0IbpXJp/fvsbbvxHk+KwI4oMb7DBWM67yXYA4A+/SaKG0H?=
 =?us-ascii?Q?Vzt8K9+ylhr4W1QzqXBo8B/jtqx9osnSHXJW1BBDdp3TQRDet05LomK16Zqy?=
 =?us-ascii?Q?ano8rL6uht53ptqhxfOsMcwe55mDAKXMBakh4vh1nup9Lfzb0oYHNMlPdEe8?=
 =?us-ascii?Q?x5yNRNlHnKKjjhFldUvAH9xudTrXozFIoI1KZgjZ4L33ku7t95z47DEYkRnI?=
 =?us-ascii?Q?LZWFq/q7RZLCAqQNM43G60laq2zQq5DXBDCIIi6m0dL4apvTtprTfEFEyBf7?=
 =?us-ascii?Q?ETAi9P9UN69RDLXm6Igqt0ARGsMa1mGRoc29uwNvJ25ULFGFPNGlSjkYyzi4?=
 =?us-ascii?Q?2U3uoth4VDyF0Z3ra1VfuKG0ZUT3zvb0kIRaFsr3W4b0NmEI9iLuGt87OHzH?=
 =?us-ascii?Q?ImR01mgNVXadxzkHmrbJN731AtjwOCH1tP+1NmiHEKl5yVuco9SxRqz8auh9?=
 =?us-ascii?Q?GmrvkiD07+uahd/3cFp02u+eGf1qX6E32706W+hrelXdxBe+24IYW+rjBW/m?=
 =?us-ascii?Q?Yf6m0uP5lMW4XVUbwxKJpVh23nFniS4pIImNtY7wKvrJ28ebPYabDp4UPCtf?=
 =?us-ascii?Q?spcBSxiCuwd5/aO4pwYgIRdNWxZ3nEEbp3fP3EzPeSTSJhycoBr8V1oXHqI9?=
 =?us-ascii?Q?dZes4GBwWRfOz34S0TOPB6nscIzrkuHpkJHMkMYJMBTEMUWDvyVjX2P7DgRx?=
 =?us-ascii?Q?9A9T908qiJ1aUSWWIhsVQ6WVXQ129Z445MKT0duiaNCm2zdOPSPanTQ/HNuj?=
 =?us-ascii?Q?Fl5rihUl2+DSoW+sou4HyCmDYTra8uvXrWlUENnFtV9Pml9hea4WH7xp9TF6?=
 =?us-ascii?Q?0/+oXwQV9OKIexM2qd41nq0OVJFh6/h0GZgatuoUwkJV9kQwr/lP8QAB6CNb?=
 =?us-ascii?Q?q2HwNGC7MnDzJnvWEUtrcUuVlM00YC3CX2/Mpf+1F0k34EIFCGRIa41Qfa2K?=
 =?us-ascii?Q?LZILhzlpHbAAjB4uMB9TOt8vj2CNhh4kIBSGiRU5k4wEln06JSsWvRQTZEff?=
 =?us-ascii?Q?RtmMVlGSZwBX/TneOj9r/G1eJ2MEB9YhPBNVjOYZczbD69nQvfRFX0dDMZ5B?=
 =?us-ascii?Q?orQz0wvHkD40Ts3Aa+TlqH5+BKEgBvoIhOPN+drb?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 0002113d-552d-4678-546c-08db09a408d4
X-MS-Exchange-CrossTenant-AuthSource: DS0PR11MB6397.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 08 Feb 2023 07:13:53.4225
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: nM8Gb+5cZ4SNjS19h/he9qQ0YFo0GqHIBuhnfO4IBEURUIA5nuX6cSHoBhy10NgoAx5gYiu1IFoP+Ji+3dIW0g==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM4PR11MB5519
X-OriginatorOrg: intel.com
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

Hi Sean,

On Tue, Feb 07, 2023 at 11:34:11PM +0000, Sean Christopherson wrote:
> On Tue, Feb 07, 2023, kernel test robot wrote:
> > Hi Sean,
> > 
> > FYI, the error/warning was bisected to this commit, please ignore it if it's irrelevant.
> 
> Is there a way to mark this as "working as intended"?  The truncation is intentional.
> I've been ignoring the reports, but they just keep coming :-)

Sorry for reporting this warning repeatedly. We've added it to the
ignore list for this particular commit.

Best Regards,
Yujie

> > tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
> > head:   d2d11f342b179f1894a901f143ec7c008caba43e
> > commit: 70e41c31bc7776b262cd9f524df3dfc2b5869a0a KVM: x86/mmu: Use common logic for computing the 32/64-bit base PA mask
> > date:   8 months ago
> > config: x86_64-randconfig-s023-20230206 (https://download.01.org/0day-ci/archive/20230207/202302070638.iEBPQ4gL-lkp@intel.com/config)
> > compiler: gcc-11 (Debian 11.3.0-8) 11.3.0
> > reproduce:
> >         # apt-get install sparse
> >         # sparse version: v0.6.4-39-gce1a6720-dirty
> >         # https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=70e41c31bc7776b262cd9f524df3dfc2b5869a0a
> >         git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
> >         git fetch --no-tags linus master
> >         git checkout 70e41c31bc7776b262cd9f524df3dfc2b5869a0a
> >         # save the config file
> >         mkdir build_dir && cp config build_dir/.config
> >         make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=x86_64 olddefconfig
> >         make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=x86_64 SHELL=/bin/bash arch/x86/kvm/
> > 
> > If you fix the issue, kindly add following tag where applicable
> > | Reported-by: kernel test robot <lkp@intel.com>
> > 
> > sparse warnings: (new ones prefixed by >>)
> >    arch/x86/kvm/mmu/mmu.c:610:9: sparse: sparse: context imbalance in 'walk_shadow_page_lockless_begin' - different lock contexts for basic block
> >    arch/x86/kvm/mmu/mmu.c: note: in included file (through include/linux/rbtree.h, include/linux/mm_types.h, arch/x86/kvm/irq.h):
> >    include/linux/rcupdate.h:726:9: sparse: sparse: context imbalance in 'walk_shadow_page_lockless_end' - unexpected unlock
> >    arch/x86/kvm/mmu/mmu.c:2550:9: sparse: sparse: context imbalance in 'mmu_try_to_unsync_pages' - different lock contexts for basic block
> >    arch/x86/kvm/mmu/mmu.c: note: in included file:
> > >> arch/x86/kvm/mmu/paging_tmpl.h:106:24: sparse: sparse: cast truncates bits from constant value (ffffffffff000 becomes fffff000)
> >    arch/x86/kvm/mmu/paging_tmpl.h:426:24: sparse: sparse: cast truncates bits from constant value (ffffffffff000 becomes fffff000)
> >    arch/x86/kvm/mmu/mmu.c:4618:57: sparse: sparse: cast truncates bits from constant value (ffffff33 becomes 33)
> >    arch/x86/kvm/mmu/mmu.c:4620:56: sparse: sparse: cast truncates bits from constant value (ffffff0f becomes f)
> >    arch/x86/kvm/mmu/mmu.c:4622:57: sparse: sparse: cast truncates bits from constant value (ffffff55 becomes 55)
> > 
> > vim +106 arch/x86/kvm/mmu/paging_tmpl.h
> > 
> > b3fcdb04a98035 arch/x86/kvm/mmu/paging_tmpl.h Sean Christopherson 2022-06-14  103  
> > e04da980c35d75 arch/x86/kvm/paging_tmpl.h     Joerg Roedel        2009-07-27  104  static gfn_t gpte_to_gfn_lvl(pt_element_t gpte, int lvl)
> > 5fb07ddb183eb4 drivers/kvm/paging_tmpl.h      Avi Kivity          2007-11-21  105  {
> > e04da980c35d75 arch/x86/kvm/paging_tmpl.h     Joerg Roedel        2009-07-27 @106  	return (gpte & PT_LVL_ADDR_MASK(lvl)) >> PAGE_SHIFT;
> > 5fb07ddb183eb4 drivers/kvm/paging_tmpl.h      Avi Kivity          2007-11-21  107  }
> > 5fb07ddb183eb4 drivers/kvm/paging_tmpl.h      Avi Kivity          2007-11-21  108  
> > 
> > :::::: The code at line 106 was first introduced by commit
> > :::::: e04da980c35d75fa050ba4009ad99025432d8d7d KVM: MMU: make page walker aware of mapping levels
> > 
> > :::::: TO: Joerg Roedel <joerg.roedel@amd.com>
> > :::::: CC: Avi Kivity <avi@redhat.com>
> > 
> > -- 
> > 0-DAY CI Kernel Test Service
> > https://github.com/intel/lkp-tests
>