|author||Joseph Myers <firstname.lastname@example.org>||2018-08-29 20:01:57 +0000|
|committer||Joseph Myers <email@example.com>||2018-08-29 20:01:57 +0000|
Make gen-libm-test.py treat plus_oflow and minus_oflow as non-finite.
When converting gen-libm-test to Python, in one place I noted a bug in the old Perl version that I preserved in the Python version so that the generated output files were the same with both versions, as such comparisons help give confidence in the correctness of such a rewrite of a script. Now that the conversion has been done, this patch fixes that bug, by arranging for tests with plus_oflow or minus_oflow results (manually written tests in libm-test-*.inc that have overflowing results that thus depend on the rounding mode) to be properly treated as having non-finite results, and thus not run for the __FINITE_MATH_ONLY__ tests. (As the affected tests in fact did pass for __FINITE_MATH_ONLY__ testing, this is just a matter of logical correctness in the choice of which tests run for that case, rather than fixing any actual test failures.) Tested for x86_64. * math/gen-libm-test.py (gen_test_args_res): Also treat plus_oflow and minus_oflow as non-finite.
Diffstat (limited to 'ChangeLog')
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index cdc9b8c207f..23d69f82323 100644
@@ -1,3 +1,8 @@
+2018-08-29 Joseph Myers <firstname.lastname@example.org>
+ * math/gen-libm-test.py (gen_test_args_res): Also treat plus_oflow
+ and minus_oflow as non-finite.
2018-08-28 Joseph Myers <email@example.com>
* sysdeps/aarch64/fpu/fenv_private.h: New file. Based on ....