[Bug analyzer/108968] fanalyzer false positive with the uninitalised-ness of the stack pointer

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

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

--- Comment #7 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:20bd258d0fa09837b3a93478ef92d8789cbcd442

commit r13-6420-g20bd258d0fa09837b3a93478ef92d8789cbcd442
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Mar 2 14:01:19 2023 -0500

    analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]

    gcc/analyzer/ChangeLog:
            PR analyzer/108968
            * region-model.cc (region_model::get_rvalue_1): Handle VAR_DECLs
            with a DECL_HARD_REGISTER by returning UNKNOWN.

    gcc/testsuite/ChangeLog:
            PR analyzer/108968
            * gcc.dg/analyzer/uninit-pr108968-register.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>