diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2024-05-17 13:44:08 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2024-05-17 16:03:17 +0200 |
| commit | 1accf4454a2ab57c4d681d1f6db332c46c61c058 (patch) | |
| tree | 85650a3d1cf79f531d1fe97027defc093c3a2d29 /libcpp | |
| parent | d4635b504c73b653b815d2c2543c86c91b00e373 (diff) | |
| download | gcc-1accf4454a2ab57c4d681d1f6db332c46c61c058.zip gcc-1accf4454a2ab57c4d681d1f6db332c46c61c058.tar.gz gcc-1accf4454a2ab57c4d681d1f6db332c46c61c058.tar.bz2 | |
[prange] Drop range to VARYING if the bitmask intersection made it so [PR115131]
If the intersection of the bitmasks made the range span the entire
domain, normalize the range to VARYING.
gcc/ChangeLog:
PR middle-end/115131
* value-range.cc (prange::intersect): Set VARYING if intersection
of bitmasks made the range span the entire domain.
(range_tests_misc): New test.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions