From 22dc0f5ef56aec4891cccc3ff260e50b8533d393 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Tue, 13 Aug 2019 17:41:37 +0100 Subject: [PATCH] Make symbol table refs const These never needed to be mutable. Making them const means that they can be used from contexts where the symbol table is const. --- jbmc/src/java_bytecode/ci_lazy_methods_needed.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/jbmc/src/java_bytecode/ci_lazy_methods_needed.h b/jbmc/src/java_bytecode/ci_lazy_methods_needed.h index 530a185e333..44749023e63 100644 --- a/jbmc/src/java_bytecode/ci_lazy_methods_needed.h +++ b/jbmc/src/java_bytecode/ci_lazy_methods_needed.h @@ -27,7 +27,7 @@ class ci_lazy_methods_neededt ci_lazy_methods_neededt( std::unordered_set &_callable_methods, std::unordered_set &_instantiated_classes, - symbol_tablet &_symbol_table, + const symbol_tablet &_symbol_table, const select_pointer_typet &pointer_type_selector) : callable_methods(_callable_methods), instantiated_classes(_instantiated_classes), @@ -52,7 +52,7 @@ class ci_lazy_methods_neededt // found so far, so we can use a membership test to avoid // repeatedly exploring a class hierarchy. std::unordered_set &instantiated_classes; - symbol_tablet &symbol_table; + const symbol_tablet &symbol_table; const select_pointer_typet &pointer_type_selector;