diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-02 14:55:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-02 14:55:21 -0700 |
commit | 937d37ef78d3ef445335928d498422083df74d77 (patch) | |
tree | 0e686ba7f9a7d745bc86c71c8629ee21510bb728 /src/preprocessing/passes/bv_gauss.cpp | |
parent | a580349bbb39fa9681ab2e2d05dd448f8b082399 (diff) |
Make registration of preprocessing passes explicit (#2564)
As it turns out, self-registering types are problematic with static
linkage [0]. Instead of fixing the issue with linker flags, which seems
possible but also brittle (e.g. the flags may be different for different
linkers), this commit adds an explicit registration of each
preprocessing pass.
[0] https://www.bfilipek.com/2018/02/static-vars-static-lib.html
Diffstat (limited to 'src/preprocessing/passes/bv_gauss.cpp')
-rw-r--r-- | src/preprocessing/passes/bv_gauss.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/preprocessing/passes/bv_gauss.cpp b/src/preprocessing/passes/bv_gauss.cpp index ffecc8682..58e5f93bf 100644 --- a/src/preprocessing/passes/bv_gauss.cpp +++ b/src/preprocessing/passes/bv_gauss.cpp @@ -18,7 +18,6 @@ #include "preprocessing/passes/bv_gauss.h" #include "expr/node.h" -#include "preprocessing/preprocessing_pass_registry.h" #include "theory/bv/theory_bv_rewrite_rules_normalization.h" #include "theory/bv/theory_bv_utils.h" #include "theory/rewriter.h" @@ -819,7 +818,6 @@ PreprocessingPassResult BVGauss::applyInternal( return PreprocessingPassResult::NO_CONFLICT; } -static RegisterPass<BVGauss> X("bv-gauss"); } // namespace passes } // namespace preprocessing |