https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447
--- Comment #20 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:c81e68a9cdbb5411dce1f1da3b35854212305c7c commit r13-5264-gc81e68a9cdbb5411dce1f1da3b35854212305c7c Author: Jakub Jelinek <ja...@redhat.com> Date: Thu Jan 19 23:26:35 2023 +0100 value-relation: Fix up relation_union [PR108447] While looking at the PR, I've noticed one row in rr_union_table is wrong. relation_union should be commutative, but due to that bug is not. The following patch adds a self-test for that property (fails without the first hunk) and fixes that line. The actual floating point relation problem isn't fixed by this patch though. 2023-01-19 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/108447 * value-relation.cc (rr_union_table): Fix VREL_UNDEFINED row order. (relation_tests): Add self-tests for relation_{intersect,union} commutativity. * selftest.h (relation_tests): Declare. * function-tests.cc (test_ranges): Call it.
