diff options
Diffstat (limited to 'gcc/sym-exec/state.cc')
-rw-r--r-- | gcc/sym-exec/state.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/sym-exec/state.cc b/gcc/sym-exec/state.cc index 301f11acef6..b32239dae90 100644 --- a/gcc/sym-exec/state.cc +++ b/gcc/sym-exec/state.cc @@ -58,6 +58,13 @@ state::get_bits (tree var) return var_states.get (var); } +/* Get the value of the tree, which is in the beginning of the var_states. */ + +vec<value*> * +state::get_first_value () +{ + return &(*(var_states.begin ())).second; +} const hash_set<bit_expression *>& state::get_conditions () |