Author: imp
Date: Fri Jan 26 22:22:21 2018
New Revision: 328449
URL: https://svnweb.freebsd.org/changeset/base/328449

Log:
  Tag unreachable places as such. I left the while (1); in place since
  in this context we want to busy wait to stop.
  
  Suggested by: pfg@

Modified:
  head/stand/i386/gptboot/gptboot.c
  head/stand/mips/beri/loader/main.c
  head/stand/mips/uboot/conf.c
  head/stand/powerpc/kboot/main.c
  head/stand/uboot/common/main.c
  head/stand/uboot/lib/glue.c

Modified: head/stand/i386/gptboot/gptboot.c
==============================================================================
--- head/stand/i386/gptboot/gptboot.c   Fri Jan 26 21:51:13 2018        
(r328448)
+++ head/stand/i386/gptboot/gptboot.c   Fri Jan 26 22:22:21 2018        
(r328449)
@@ -365,6 +365,7 @@ void
 exit(int x)
 {
        while (1);
+       __unreachable();
 }
 
 static void

Modified: head/stand/mips/beri/loader/main.c
==============================================================================
--- head/stand/mips/beri/loader/main.c  Fri Jan 26 21:51:13 2018        
(r328448)
+++ head/stand/mips/beri/loader/main.c  Fri Jan 26 22:22:21 2018        
(r328449)
@@ -193,6 +193,7 @@ abort(void)
 
        printf("error: loader abort\n");
        while (1);
+       __unreachable();
 }
 
 void
@@ -201,6 +202,7 @@ exit(int code)
 
        printf("error: loader exit\n");
        while (1);
+       __unreachable();
 }
 
 void
@@ -209,6 +211,7 @@ longjmperror(void)
 
        printf("error: loader longjmp error\n");
        while (1);
+       __unreachable();
 }
 
 time_t

Modified: head/stand/mips/uboot/conf.c
==============================================================================
--- head/stand/mips/uboot/conf.c        Fri Jan 26 21:51:13 2018        
(r328448)
+++ head/stand/mips/uboot/conf.c        Fri Jan 26 22:22:21 2018        
(r328449)
@@ -105,6 +105,7 @@ abort(void)
  
        printf("error: loader abort\n");
        while (1);
+       __unreachable();
 }
 
 void
@@ -113,6 +114,7 @@ longjmperror(void)
  
        printf("error: loader longjmp error\n");
        while (1);
+       __unreachable();
 }
 
 int debug = 1;

Modified: head/stand/powerpc/kboot/main.c
==============================================================================
--- head/stand/powerpc/kboot/main.c     Fri Jan 26 21:51:13 2018        
(r328448)
+++ head/stand/powerpc/kboot/main.c     Fri Jan 26 22:22:21 2018        
(r328449)
@@ -131,6 +131,7 @@ void
 exit(int code)
 {
        while (1); /* XXX: host_exit */
+       __unreachable();
 }
 
 void

Modified: head/stand/uboot/common/main.c
==============================================================================
--- head/stand/uboot/common/main.c      Fri Jan 26 21:51:13 2018        
(r328448)
+++ head/stand/uboot/common/main.c      Fri Jan 26 22:22:21 2018        
(r328449)
@@ -526,7 +526,8 @@ command_reboot(int argc, char *argv[])
        ub_reset();
 
        printf("Reset failed!\n");
-       while(1);
+       while (1);
+       __unreachable();
 }
 
 COMMAND_SET(devinfo, "devinfo", "show U-Boot devices", command_devinfo);

Modified: head/stand/uboot/lib/glue.c
==============================================================================
--- head/stand/uboot/lib/glue.c Fri Jan 26 21:51:13 2018        (r328448)
+++ head/stand/uboot/lib/glue.c Fri Jan 26 22:22:21 2018        (r328449)
@@ -187,7 +187,8 @@ ub_reset(void)
 {
 
        syscall(API_RESET, NULL);
-       while (1);              /* Can't tag syscall as __dead2 */
+       while (1);      /* fallback if API_RESET failed */
+       __unreachable();
 }
 
 static struct mem_region mr[UB_MAX_MR];
_______________________________________________
svn-src-head@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"

Reply via email to