diff options
| author | Moritz Buhl <mbuhl@cvs.openbsd.org> | 2024-09-06 13:31:00 +0000 |
|---|---|---|
| committer | Moritz Buhl <mbuhl@cvs.openbsd.org> | 2024-09-06 13:31:00 +0000 |
| commit | 4818f838bda1c1efc7554741c79d7c4c8e33aa13 (patch) | |
| tree | 44d22f6850a9ecb2f9bac9117373fb63f13703f6 /share | |
| parent | 88565a722620a7eaef0b50ba0b30262bdba63760 (diff) | |
Document float cast overflow detection.
ok anton@
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/man4/kubsan.4 | 7 |
1 files 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 <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. |