From 3f2a4cc2216a1fdf1d830d596c835f29507dfe7c Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Tue, 19 May 2020 13:53:04 -0400
Subject: [PATCH 154/179] FIXME: fix missing cast in
 region_model2::get_store_value for chars from string_csts

---
 gcc/analyzer/region-model2.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc
index cc197fade78..dd405d81142 100644
--- a/gcc/analyzer/region-model2.cc
+++ b/gcc/analyzer/region-model2.cc
@@ -5364,7 +5364,7 @@ region_model2::get_store_value (const region2 *reg)
 	  if (const svalue2 *char_sval
 		= maybe_get_char_from_string_cst (string_cst, byte_offset_cst,
 						  m_mgr))
-	    return char_sval;
+	    return m_mgr->get_or_create_cast (reg->get_type (), char_sval);
 	}
 
   /* FIXME: symbolic value. */
-- 
2.21.0