[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 #19 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by David Malcolm
<dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:833d822ff0e83478a4fe536d55dfb22cde8ddc40

commit r12-9366-g833d822ff0e83478a4fe536d55dfb22cde8ddc40
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Mar 29 14:16:49 2023 -0400

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

    Cherrypicked from r13-6749-g430d7d88c1a123.

    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>