https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109577
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:e0c52905f666e3d23881f82dbf39466a24f009f4 commit r13-8743-ge0c52905f666e3d23881f82dbf39466a24f009f4 Author: Tim Lange <m...@tim-lange.me> Date: Thu May 9 13:09:26 2024 -0400 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 <m...@tim-lange.me> PR analyzer/110014 gcc/testsuite/ChangeLog: * gcc.dg/analyzer/realloc-pr110014.c: New tests. (cherry picked from commit r14-1685-g39adc5eebd61fd276f3f1ef9d7228756a35bd0cb) Signed-off-by: David Malcolm <dmalc...@redhat.com>
