From: mbuhl <mbuhl@openbsd.org>
Date: Fri, 6 Sep 2024 13:30:59 +0000 (+0000)
Subject: Document float cast overflow detection.
X-Git-Url: http://artulab.com/gitweb/?a=commitdiff_plain;h=b5ea53bd6d0edcc86374cb43920b3867c2f12adc;p=openbsd

Document float cast overflow detection.
ok anton@
---

diff --git a/share/man/man4/kubsan.4 b/share/man/man4/kubsan.4
index c22ebf9b962..6165a1ebbb5 100644
--- a/share/man/man4/kubsan.4
+++ b/share/man/man4/kubsan.4
@@ -1,4 +1,4 @@
-.\"	$OpenBSD: kubsan.4,v 1.3 2019/05/24 18:53:25 anton Exp $
+.\"	$OpenBSD: kubsan.4,v 1.4 2024/09/06 13:30:59 mbuhl Exp $
 .\"
 .\" Copyright (c) 2019 Anton Lindqvist <anton@openbsd.org>
 .\"
@@ -13,7 +13,7 @@
 .\" WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 .\" ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 .\" OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
-.Dd $Mdocdate: May 24 2019 $
+.Dd $Mdocdate: September 6 2024 $
 .Dt KUBSAN 4
 .Os
 .Sh NAME
@@ -37,6 +37,9 @@ option KUBSAN
 .Pp
 The following undefined behavior is detected:
 .Bl -tag -width 4n
+.It Float cast overflow
+The conversion from a floating point to an integer cannot be represented by
+the destination type.
 .It Integer overflow
 The result of an arithmetic computation on two integer operands cannot be
 represented by the destination type.