[src/trunk]: src/sys/arch/arm/arm32 Mark end of cpu_reboot as unreachable.

[joerg <joerg%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/ddfd76d32f32
branches:  trunk
changeset: 335392:ddfd76d32f32
user:      joerg <joerg%NetBSD.org@localhost>
date:      Mon Jan 05 17:04:24 2015 +0000

description:
Mark end of cpu_reboot as unreachable.

diffstat:

 sys/arch/arm/arm32/arm32_reboot.c |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (24 lines):

diff -r c73009276168 -r ddfd76d32f32 sys/arch/arm/arm32/arm32_reboot.c
--- a/sys/arch/arm/arm32/arm32_reboot.c Mon Jan 05 16:26:48 2015 +0000
+++ b/sys/arch/arm/arm32/arm32_reboot.c Mon Jan 05 17:04:24 2015 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: arm32_reboot.c,v 1.7 2015/01/02 18:49:02 christos Exp $        */
+/*     $NetBSD: arm32_reboot.c,v 1.8 2015/01/05 17:04:24 joerg Exp $   */
 
 /*
  * Copyright (c) 2002, 2003, 2005  Genetec Corporation.  All rights reserved.
@@ -122,7 +122,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: arm32_reboot.c,v 1.7 2015/01/02 18:49:02 christos Exp $");
+__KERNEL_RCSID(0, "$NetBSD: arm32_reboot.c,v 1.8 2015/01/05 17:04:24 joerg Exp $");
 
 #include <sys/param.h>
 #include <sys/device.h>
@@ -203,4 +203,5 @@
        IRQdisable;
 
        docpureset(howto);
+       __unreachable();
 }