Tweak the VSDG to fix a clang specific warning about get_state

martin · martin · commit df1b79cb6352 · 2020-08-25T20:40:21.000+01:00
diff --git a/src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.h b/src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.h
@@ -209,6 +209,8 @@ class variable_sensitivity_dependence_grapht : public ai_three_way_merget,
                                                public grapht<vs_dep_nodet>
 {
 protected:
+  using ai_baset::get_state;
+
   // Legacy-style mutable access to the storage
   virtual statet &get_state(locationt l)
   {

Original file line number	Diff line number	Diff line change
`@@ -209,6 +209,8 @@ class variable_sensitivity_dependence_grapht : public ai_three_way_merget,`
`209`	`209`	`public grapht<vs_dep_nodet>`
`210`	`210`	`{`
`211`	`211`	`protected:`
	`212`	`+ using ai_baset::get_state;`
	`213`	`+`
`212`	`214`	`// Legacy-style mutable access to the storage`
`213`	`215`	`virtual statet &get_state(locationt l)`
`214`	`216`	`{`