diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-03-05 11:42:54 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-05 11:42:54 -0800 |
| commit | 04039407e6308070c148de0d5e93640ec1b0a341 (patch) | |
| tree | b66f63d49df0713b1ca2a440bec89f1d60af32a4 /src/proof/array_proof.cpp | |
| parent | 18fe192c29a9a2c37d1925730af01e906b9888c5 (diff) | |
Enable -Wshadow and fix warnings. (#3909)
Fixes all -Wshadow warnings and enables the -Wshadow compile flag globally.
Co-authored-by: Clark Barrett <barrett@cs.stanford.edu>
Co-authored-by: Andres Noetzli <andres.noetzli@gmail.com>
Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
Co-authored-by: makaimann <makaim@stanford.edu>
Co-authored-by: yoni206 <yoni206@users.noreply.github.com>
Co-authored-by: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Co-authored-by: AleksandarZeljic <zeljic@stanford.edu>
Co-authored-by: Caleb Donovick <cdonovick@users.noreply.github.com>
Co-authored-by: Amalee <amaleewilson@gmail.com>
Co-authored-by: Scott Kovach <dskovach@gmail.com>
Co-authored-by: ntsis <nekuna@gmail.com>
Diffstat (limited to 'src/proof/array_proof.cpp')
| -rw-r--r-- | src/proof/array_proof.cpp | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/proof/array_proof.cpp b/src/proof/array_proof.cpp index 75b7b7f1b..32dcaf5b2 100644 --- a/src/proof/array_proof.cpp +++ b/src/proof/array_proof.cpp @@ -475,7 +475,6 @@ Node ProofArray::toStreamRecLFSC(std::ostream& out, pf.d_children[0]->d_node = simplifyBooleanNode(pf.d_children[0]->d_node); Node n1 = toStreamRecLFSC(ss, tp, *(pf.d_children[0]), tb + 1, map); - Node n2; Debug("mgd") << "\ndoing trans proof, got n1 " << n1 << "\n"; if(tb == 1) { Debug("mgdx") << "\ntrans proof[0], got n1 " << n1 << "\n"; @@ -489,7 +488,6 @@ Node ProofArray::toStreamRecLFSC(std::ostream& out, std::map<size_t, Node> childToStream; - std::stringstream ss1(ss.str()), ss2; std::pair<Node, Node> nodePair; for (size_t i = 1; i < pf.d_children.size(); ++i) { @@ -562,9 +560,9 @@ Node ProofArray::toStreamRecLFSC(std::ostream& out, while (j < pf.d_children.size() && !sequenceOver) { - std::stringstream dontCare; - nodeAfterEqualitySequence = toStreamRecLFSC( - dontCare, tp, *(pf.d_children[j]), tb + 1, map); + std::stringstream ignore; + nodeAfterEqualitySequence = + toStreamRecLFSC(ignore, tp, *(pf.d_children[j]), tb + 1, map); if (((nodeAfterEqualitySequence[0] == n1[0]) && (nodeAfterEqualitySequence[1] == n1[1])) || ((nodeAfterEqualitySequence[0] == n1[1]) |