[src/trunk]: src/share/man/man3 __dead functions can not return, which is dif...

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

details:   https://anonhg.NetBSD.org/src/rev/d8cceca11e7e
branches:  trunk
changeset: 433439:d8cceca11e7e
user:      joerg <joerg%NetBSD.org@localhost>
date:      Fri Sep 14 20:38:38 2018 +0000

description:
__dead functions can not return, which is different from not returning a
value.

diffstat:

 share/man/man3/attribute.3 |  7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diffs (23 lines):

diff -r a65364e4a22e -r d8cceca11e7e share/man/man3/attribute.3
--- a/share/man/man3/attribute.3        Fri Sep 14 19:57:57 2018 +0000
+++ b/share/man/man3/attribute.3        Fri Sep 14 20:38:38 2018 +0000
@@ -1,4 +1,4 @@
-.\" $NetBSD: attribute.3,v 1.16 2014/04/21 15:52:27 riastradh Exp $
+.\" $NetBSD: attribute.3,v 1.17 2018/09/14 20:38:38 joerg Exp $
 .\"
 .\" Copyright (c) 2010 The NetBSD Foundation, Inc.
 .\" All rights reserved.
@@ -99,10 +99,11 @@
 .Xr abort 3
 and
 .Xr exit 3 ,
-can never return any value.
+can never return.
 When such a function is declared with
 .Ic __dead ,
-certain optimizations are possible.
+certain optimizations are possible and warnings sensitive to the code flow graph
+may be pruned.
 Obviously a
 .Ic __dead
 function can never have return type other than