From b5ea53bd6d0edcc86374cb43920b3867c2f12adc Mon Sep 17 00:00:00 2001 From: mbuhl Date: Fri, 6 Sep 2024 13:30:59 +0000 Subject: [PATCH] Document float cast overflow detection. ok anton@ --- share/man/man4/kubsan.4 | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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 .\" @@ -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. -- 2.20.1