From 0c2662ef9f69882b50d2b6566a0c5e707708445b Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 7 Mar 2019 14:54:25 +0000 Subject: [PATCH] symbols created for Java string literals are state variables --- jbmc/src/java_bytecode/java_string_literals.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/jbmc/src/java_bytecode/java_string_literals.cpp b/jbmc/src/java_bytecode/java_string_literals.cpp index 47cac236394..e8ab62f2845 100644 --- a/jbmc/src/java_bytecode/java_string_literals.cpp +++ b/jbmc/src/java_bytecode/java_string_literals.cpp @@ -90,6 +90,7 @@ symbol_exprt get_or_create_string_literal_symbol( new_symbol.mode = ID_java; new_symbol.is_type = false; new_symbol.is_lvalue = true; + new_symbol.is_state_var = true; new_symbol.is_static_lifetime = true; namespacet ns(symbol_table);