mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-21 05:13:39 +00:00
Code Activity

revert removal of virtual destructor of relevancy_eh since clang doesnt play along

Browse source
This commit is contained in:
Nuno Lopes 2023-08-20 14:20:20 +01:00
parent 8210aafb69
commit a694d27557
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/smt/smt_relevancy.h
View file

@ -24,14 +24,12 @@ namespace smt {
class context; class context;
class relevancy_propagator; class relevancy_propagator;
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wnon-virtual-dtor"
class relevancy_eh { class relevancy_eh {
protected: protected:
void mark_as_relevant(relevancy_propagator & rp, expr * n); void mark_as_relevant(relevancy_propagator & rp, expr * n);
void mark_args_as_relevant(relevancy_propagator & rp, app * n); void mark_args_as_relevant(relevancy_propagator & rp, app * n);
public: public:
virtual ~relevancy_eh() = default;
/** /**
\brief This method is invoked when n is marked as relevant. \brief This method is invoked when n is marked as relevant.
*/ */
@ -45,7 +43,6 @@ namespace smt {
*/ */
virtual void operator()(relevancy_propagator & rp) = 0; virtual void operator()(relevancy_propagator & rp) = 0;
}; };
#pragma clang diagnostic pop
class simple_relevancy_eh : public relevancy_eh { class simple_relevancy_eh : public relevancy_eh {
expr * m_target; expr * m_target;