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>
Showing
- gcc/analyzer/call-summary.cc 2 additions, 0 deletionsgcc/analyzer/call-summary.cc
- gcc/analyzer/region-model.cc 2 additions, 0 deletionsgcc/analyzer/region-model.cc
- gcc/testsuite/gcc.dg/analyzer/call-summaries-errno.c 17 additions, 0 deletionsgcc/testsuite/gcc.dg/analyzer/call-summaries-errno.c
- gcc/testsuite/gcc.dg/analyzer/errno-pr107777.c 20 additions, 0 deletionsgcc/testsuite/gcc.dg/analyzer/errno-pr107777.c
Loading
Please register or sign in to comment