]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d82022) | patch
analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 2 Mar 2023 19:01:19 +0000 (14:01 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 2 Mar 2023 19:01:19 +0000 (14:01 -0500)
commit20bd258d0fa09837b3a93478ef92d8789cbcd442
tree170cf236931de8507df9deb10cda64bec0f3b304tree
parent4d82022bfd15d36717bf60a11e75e9ea02204269commit | diff
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 <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
Mirror of https://gcc.gnu.org/git/gcc.git