projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31ec724) | patch
analyzer: implement region_model::get_representative_path_var for labels
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 27 Oct 2020 13:48:00 +0000 (09:48 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 27 Oct 2020 13:48:00 +0000 (09:48 -0400)
commit9e78634c74c540cad6a2ca447af0d5df1ac4c60b
tree632c6653443fb17584adcad1482aa173fd261f58tree
parent31ec7242e1ff1e8da376ec9ffef10b07ac562881commit | diff
analyzer: implement region_model::get_representative_path_var for labels

This fixes an ICE seen e.g. with gcc.dg/analyzer/data-model-16.c when
enabling -fdump-analyzer.

gcc/analyzer/ChangeLog:
* region-model.cc (region_model::get_representative_path_var):
Implement case RK_LABEL.
* region-model.h (label_region::get_label): New accessor.
gcc/analyzer/region-model.cc diff | blob | history
gcc/analyzer/region-model.h diff | blob | history