Re: [PATCH] x86: Function missing integer return value

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: [PATCH] x86: Function missing integer return value
From: Paolo Bonzini <pbonzini@xxxxxxxxxx>
Date: Thu, 5 May 2022 15:40:15 +0200
Cc: x86@xxxxxxxxxx, kvm@xxxxxxxxxxxxxxx, linux-kernel@xxxxxxxxxxxxxxx, vkuznets@xxxxxxxxxx, wanpengli@xxxxxxxxxxx, jmattson@xxxxxxxxxx, joro@xxxxxxxxxx, tglx@xxxxxxxxxxxxx, mingo@xxxxxxxxxx, bp@xxxxxxxxx, dave.hansen@xxxxxxxxxxxxxxx, hpa@xxxxxxxxx, seanjc@xxxxxxxxxx
In-reply-to: <fdd2d7e2-cf7c-4bfd-39d2-af5a3cf60b26@maciej.szmigiero.name>
References: <20220505113218.93520-1-kunyu@nfschina.com> <ba469ccc-f5c4-248a-4c26-1cbf487fd62e@suse.com> <fdd2d7e2-cf7c-4bfd-39d2-af5a3cf60b26@maciej.szmigiero.name>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0

On 5/5/22 15:37, Maciej S. Szmigiero wrote:

This statement is not reachable, so the patch is adding unneeded dead
code only.


Maybe some static checker isn't smart enough to figure this out.

The static checker really should be improved. This is a while(true),not the halting problem. :)


Paolo

References:
- [PATCH] x86: Function missing integer return value
  - From: Li kunyu
- Re: [PATCH] x86: Function missing integer return value
  - From: Juergen Gross
- Re: [PATCH] x86: Function missing integer return value
  - From: Maciej S. Szmigiero

Prev by Date: Re: [PATCH] x86: Function missing integer return value
Next by Date: Re: [PATCH v3 00/21] TDX host kernel support
Previous by thread: Re: [PATCH] x86: Function missing integer return value
Next by thread: Re: [PATCH] x86: Function missing integer return value
Index(es):
- Date
- Thread

[Index of Archives] [KVM ARM] [KVM ia64] [KVM ppc] [Virtualization Tools] [Spice Development] [Libvirt] [Libvirt Users] [Linux USB Devel] [Linux Audio Users] [Yosemite Questions] [Linux Kernel] [Linux SCSI] [XFree86]

Powered by Linux