We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dbeb187 commit 74e4365Copy full SHA for 74e4365
src/analyses/variable-sensitivity/liveness_context.h
@@ -64,6 +64,8 @@ class liveness_contextt : public write_location_contextt
64
void output(std::ostream &out, const class ai_baset &ai, const namespacet &ns)
65
const override;
66
67
+ locationt get_location() const;
68
+
69
protected:
70
CLONE
71
@@ -82,8 +84,6 @@ class liveness_contextt : public write_location_contextt
82
84
const abstract_object_pointert &value,
83
85
bool merging_write) const override;
86
- locationt get_location() const;
-
87
private:
88
using liveness_context_ptrt = std::shared_ptr<const liveness_contextt>;
89
0 commit comments