Skip to content

Commit 627941c

Browse files
committed
Remove redundant vsd_configt::advanced_sensitivities
1 parent 002e1c0 commit 627941c

File tree

1 file changed

+1
-7
lines changed

1 file changed

+1
-7
lines changed

src/analyses/variable-sensitivity/variable_sensitivity_configuration.h

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -58,11 +58,6 @@ struct vsd_configt
5858
bool last_write_context;
5959
} context_tracking;
6060

61-
struct
62-
{
63-
bool new_value_set;
64-
} advanced_sensitivities;
65-
6661
static vsd_configt from_options(const optionst &options);
6762

6863
static vsd_configt constant_domain();
@@ -76,8 +71,7 @@ struct vsd_configt
7671
array_abstract_type{ARRAY_INSENSITIVE},
7772
union_abstract_type{UNION_INSENSITIVE},
7873
flow_sensitivity{flow_sensitivityt::sensitive},
79-
context_tracking{false, true},
80-
advanced_sensitivities{false}
74+
context_tracking{false, true}
8175
{
8276
}
8377

0 commit comments

Comments
 (0)