CVS commit: src/tests/usr.bin/xlint/lint1

["Roland Illig" <rillig%netbsd.org@localhost>]

Module Name:    src
Committed By:   rillig
Date:           Sat Jun 22 06:24:46 UTC 2024

Modified Files:
        src/tests/usr.bin/xlint/lint1: msg_380.c msg_381.c

Log Message:
tests/lint: skip tests for converting large floating point to integer

These tests differ between the platforms supported by lint.  The
differences may be caused by hardware differences, the default rounding
mode, bugs in the emulator running the tests, bugs in the
platform-specific string-to-float or float-to-string conversions and
probably some more.

For now, accept that lint will behave differently on those platforms.


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 src/tests/usr.bin/xlint/lint1/msg_380.c \
    src/tests/usr.bin/xlint/lint1/msg_381.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.