From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew Cooper Subject: Re: [PATCH v3 4/5] xen: Misc cleanup as a result of the previous patches Date: Mon, 24 Feb 2014 16:22:52 +0000 Message-ID: <530B71DC.7090002@citrix.com> References: <1393254090-5081-1-git-send-email-andrew.cooper3@citrix.com> <1393254090-5081-4-git-send-email-andrew.cooper3@citrix.com> <530B7C01020000780011EE6F@nat28.tlf.novell.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <530B7C01020000780011EE6F@nat28.tlf.novell.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Jan Beulich Cc: Keir Fraser , Xen-devel List-Id: xen-devel@lists.xenproject.org On 24/02/14 16:06, Jan Beulich wrote: >>>> On 24.02.14 at 16:01, Andrew Cooper wrote: >> --- a/xen/arch/x86/mm/shadow/common.c >> +++ b/xen/arch/x86/mm/shadow/common.c >> @@ -875,7 +875,6 @@ static int sh_skip_sync(struct vcpu *v, mfn_t gl1mfn) >> SHADOW_ERROR("gmfn %#lx was OOS but not shadowed as an l1.\n", >> mfn_x(gl1mfn)); >> BUG(); >> - return 0; /* BUG() is no longer __attribute__((noreturn)). */ >> } > Did you check that this is fine with the whole range of compiler > versions we support? Also, s/no longer/now/ ? > > Jan > It was tested on GCC 4.1.1 from the old XenServer build system, which I believe is the oldest GCC we support. BUG() for a while lost noreturn, then had it reintroduced by Tim in d2fd6f2b01ed0e "x86: mark BUG()s and assertion failures as terminal." ~Andrew