]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4c88cc) | patch
analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 21 Feb 2024 00:44:50 +0000 (19:44 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 21 Feb 2024 00:44:50 +0000 (19:44 -0500)
commit79d4c7ddc83e000adc8174b179dff44a88d5a41b
tree205b088f6a7d92d2d1031e675236e0c8c7e131fbtree | snapshot
parentb4c88cc717e5ccedca34cabe62e1e8903cad9d5fcommit | diff
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>
gcc/analyzer/ranges.cc diff | blob | blame | history
gcc/testsuite/c-c++-common/analyzer/overlapping-buffers-pr113998.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git