]> git.ipfire.org Git - thirdparty/gcc.git/commit
testsuite: Add more allocation size tests for conjured svalues [PR110014]
authorTim Lange <mail@tim-lange.me>
Fri, 9 Jun 2023 18:08:22 +0000 (20:08 +0200)
committerTim Lange <mail@tim-lange.me>
Sat, 10 Jun 2023 12:27:11 +0000 (14:27 +0200)
commit39adc5eebd61fd276f3f1ef9d7228756a35bd0cb
tree3ec5432281d0a30f7c13754d721dadfb9c7f6c8d
parent1d57a2232575913ad1085bac0ba5e22b58185179
testsuite: Add more allocation size tests for conjured svalues [PR110014]

This patch adds the reproducers reported in PR 110014 as test cases. The
false positives in those cases are already fixed with PR 109577.

2023-06-09  Tim Lange  <mail@tim-lange.me>

PR analyzer/110014

gcc/testsuite/ChangeLog:

* gcc.dg/analyzer/realloc-pr110014.c: New tests.
gcc/testsuite/gcc.dg/analyzer/realloc-pr110014.c [new file with mode: 0644]