[Bug analyzer/97608] -Wanalyzer-malloc-leak false positive when returning p+1 instead of p

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97608

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:1a9af271275f4893e28c789c8f1964025694eda1

commit r11-4510-g1a9af271275f4893e28c789c8f1964025694eda1
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Oct 28 20:10:39 2020 -0400

    analyzer: fix false leak diagnostic on offsets from malloc [PR97608]

    gcc/analyzer/ChangeLog:
            PR analyzer/97608
            * region-model-reachability.cc (reachable_regions::handle_sval):
            Operands of reachable reversible operations are reachable.

    gcc/testsuite/ChangeLog:
            PR analyzer/97608
            * gcc.dg/analyzer/malloc-1.c (test_42d): New.
            * gcc.dg/analyzer/pr97608.c: New test.