projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ada459) | patch
analyzer: fix ICE on writes to errno [PR107777]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 22 Nov 2022 00:08:17 +0000 (19:08 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 22 Nov 2022 00:08:17 +0000 (19:08 -0500)
commit358dab90186b30a5d287710f13625c327210218d
treef96c5076d49e9aa376dc52bed758f27aa80d88fetree | snapshot
parent9ada45967b4cf543aa47091e99a760d0718013cccommit | diff
analyzer: fix ICE on writes to errno [PR107777]

gcc/analyzer/ChangeLog:
PR analyzer/107777
* call-summary.cc
(call_summary_replay::convert_region_from_summary_1): Handle
RK_THREAD_LOCAL and RK_ERRNO in switch.
* region-model.cc (region_model::get_representative_path_var_1):
Likewise.

gcc/testsuite/ChangeLog:
PR analyzer/107777
* gcc.dg/analyzer/call-summaries-errno.c: New test.
* gcc.dg/analyzer/errno-pr107777.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/call-summary.cc diff | blob | history
gcc/analyzer/region-model.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/call-summaries-errno.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/analyzer/errno-pr107777.c [new file with mode: 0644] blob
Domain: System / Toolchain;