]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9855811) | patch
analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 29 Mar 2023 18:16:49 +0000 (14:16 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 29 Mar 2023 18:16:49 +0000 (14:16 -0400)
commit833d822ff0e83478a4fe536d55dfb22cde8ddc40
tree1e7ddac8ba0ff1afc17e550845e135b8bc596a04tree
parent98558117ba870d47398927f2066e469e47f39c16commit | diff
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 <dmalcolm@redhat.com>
gcc/analyzer/region-model.cc diff | blob | blame | history
gcc/testsuite/gcc.dg/analyzer/uninit-pr108968-register.c [new file with mode: 0644] blob
GNU Compiler Collection
This page took 0.069292 seconds and 6 git commands to generate.