Document float cast overflow detection.
authormbuhl <mbuhl@openbsd.org>
Fri, 6 Sep 2024 13:30:59 +0000 (13:30 +0000)
committermbuhl <mbuhl@openbsd.org>
Fri, 6 Sep 2024 13:30:59 +0000 (13:30 +0000)
ok anton@

share/man/man4/kubsan.4

index c22ebf9..6165a1e 100644 (file)
@@ -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.