diff options
Diffstat (limited to 'gcc/sym-exec/state.h')
-rw-r--r-- | gcc/sym-exec/state.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/sym-exec/state.h b/gcc/sym-exec/state.h index a7d289b91b7..1fe85f85805 100644 --- a/gcc/sym-exec/state.h +++ b/gcc/sym-exec/state.h @@ -337,6 +337,16 @@ class state { static bool check_const_value_is_less_than (value *arg1, value *arg2); + static value_bit *complement_bits_with_origin (value_bit *root, tree origin); + + static void complement_val_bits_with_origin (value *val, tree origin); + + void complement_all_vars_bits_with_origin (tree origin); + + void complement_conditions_with_origin (tree origin); + + void complement_state_with_origin (tree origin); + /* Returns status of last added condition. */ condition_status get_last_cond_status (); |