diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-02-20 19:44:50 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-02-20 19:44:50 -0500 |
| commit | 79d4c7ddc83e000adc8174b179dff44a88d5a41b (patch) | |
| tree | 205b088f6a7d92d2d1031e675236e0c8c7e131fb /libgcc | |
| parent | b4c88cc717e5ccedca34cabe62e1e8903cad9d5f (diff) | |
| download | gcc-79d4c7ddc83e000adc8174b179dff44a88d5a41b.zip gcc-79d4c7ddc83e000adc8174b179dff44a88d5a41b.tar.gz gcc-79d4c7ddc83e000adc8174b179dff44a88d5a41b.tar.bz2 | |
analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998]
gcc/analyzer/ChangeLog:
PR analyzer/113998
* ranges.cc (symbolic_byte_range::intersection): Handle empty ranges.
(selftest::test_intersects): Add test coverage for empty ranges.
gcc/testsuite/ChangeLog:
PR analyzer/113998
* c-c++-common/analyzer/overlapping-buffers-pr113998.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions