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.

diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc
index 06c0c8668ace29d82664d64aeebcf771978c820f..9050b4424f8d8af5dcb84af256083dfac387fd90 100644 (file)
--- a/gcc/analyzer/region-model.cc
+++ b/gcc/analyzer/region-model.cc
@@ -2192,7 +2192,10 @@ region_model::get_representative_path_var (const region *reg,
        return path_var (function_reg->get_fndecl (), 0);
       }
     case RK_LABEL:
-      gcc_unreachable (); // TODO
+      {
+       const label_region *label_reg = as_a <const label_region *> (reg);
+       return path_var (label_reg->get_label (), 0);
+      }
 
     case RK_SYMBOLIC:
       {

diff --git a/gcc/analyzer/region-model.h b/gcc/analyzer/region-model.h
index 5ad4a492f4f7a97a4da86c1d90c694277e6360d5..3298d05ffdaa8d3b1c2b02b21524c5ff79e18931 100644 (file)
--- a/gcc/analyzer/region-model.h
+++ b/gcc/analyzer/region-model.h
@@ -1694,6 +1694,8 @@ public:
   void dump_to_pp (pretty_printer *pp, bool simple) const FINAL OVERRIDE;
   enum region_kind get_kind () const FINAL OVERRIDE { return RK_LABEL; }
 
+  tree get_label () const { return m_label; }
+
 private:
   tree m_label;
 };