Enable -Wshadow and fix warnings. (#3909)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 5 Mar 2020 19:42:54 +0000 (11:42 -0800)
committerGitHub <noreply@github.com>
Thu, 5 Mar 2020 19:42:54 +0000 (11:42 -0800)
commit04039407e6308070c148de0d5e93640ec1b0a341
treeb66f63d49df0713b1ca2a440bec89f1d60af32a4
parent18fe192c29a9a2c37d1925730af01e906b9888c5
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>
100 files changed:
CMakeLists.txt
src/expr/expr_manager_template.cpp
src/expr/expr_template.cpp
src/expr/node_algorithm.cpp
src/expr/node_manager.cpp
src/expr/type_matcher.cpp
src/expr/type_node.cpp
src/main/driver_unified.cpp
src/options/mkoptions.py
src/parser/cvc/Cvc.g
src/parser/line_buffer.cpp
src/parser/parser.cpp
src/parser/smt2/Smt2.g
src/parser/smt2/smt2.cpp
src/parser/tptp/Tptp.g
src/preprocessing/passes/miplib_trick.cpp
src/preprocessing/passes/sygus_inference.cpp
src/preprocessing/passes/symmetry_detect.cpp
src/preprocessing/passes/synth_rew_rules.cpp
src/preprocessing/util/ite_utilities.cpp
src/printer/cvc/cvc_printer.cpp
src/printer/smt2/smt2_printer.cpp
src/proof/array_proof.cpp
src/proof/clausal_bitvector_proof.cpp
src/proof/drat/drat_proof.cpp
src/proof/proof_manager.cpp
src/proof/resolution_bitvector_proof.cpp
src/proof/sat_proof_implementation.h
src/proof/theory_proof.cpp
src/proof/uf_proof.cpp
src/prop/bvminisat/core/Solver.cc
src/prop/bvminisat/core/Solver.h
src/prop/bvminisat/simp/SimpSolver.cc
src/prop/bvminisat/simp/SimpSolver.h
src/prop/minisat/core/Solver.cc
src/prop/minisat/core/Solver.h
src/smt/smt_engine.cpp
src/theory/arith/dio_solver.cpp
src/theory/arith/nl_model.cpp
src/theory/arith/nonlinear_extension.cpp
src/theory/arith/theory_arith_private.cpp
src/theory/arrays/theory_arrays.cpp
src/theory/bv/abstraction.cpp
src/theory/bv/bv_subtheory_algebraic.cpp
src/theory/datatypes/datatypes_rewriter.cpp
src/theory/datatypes/sygus_extension.cpp
src/theory/datatypes/sygus_simple_sym.cpp
src/theory/datatypes/theory_datatypes.cpp
src/theory/datatypes/theory_datatypes_utils.cpp
src/theory/fp/fp_converter.cpp
src/theory/fp/fp_converter.h
src/theory/idl/idl_model.cpp
src/theory/idl/idl_model.h
src/theory/quantifiers/alpha_equivalence.cpp
src/theory/quantifiers/anti_skolem.cpp
src/theory/quantifiers/bv_inverter.cpp
src/theory/quantifiers/candidate_rewrite_filter.cpp
src/theory/quantifiers/conjecture_generator.cpp
src/theory/quantifiers/ematching/ho_trigger.cpp
src/theory/quantifiers/expr_miner.h
src/theory/quantifiers/extended_rewrite.cpp
src/theory/quantifiers/fmf/bounded_integers.cpp
src/theory/quantifiers/fmf/full_model_check.cpp
src/theory/quantifiers/fmf/model_builder.cpp
src/theory/quantifiers/fun_def_evaluator.cpp
src/theory/quantifiers/fun_def_process.cpp
src/theory/quantifiers/quantifiers_rewriter.cpp
src/theory/quantifiers/single_inv_partition.cpp
src/theory/quantifiers/solution_filter.cpp
src/theory/quantifiers/sygus/ce_guided_single_inv_sol.cpp
src/theory/quantifiers/sygus/cegis_core_connective.cpp
src/theory/quantifiers/sygus/sygus_enumerator.cpp
src/theory/quantifiers/sygus/sygus_eval_unfold.cpp
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp
src/theory/quantifiers/sygus/sygus_repair_const.cpp
src/theory/quantifiers/sygus/sygus_unif_io.cpp
src/theory/quantifiers/sygus/sygus_unif_rl.cpp
src/theory/quantifiers/sygus/sygus_unif_strat.cpp
src/theory/quantifiers/sygus/synth_engine.cpp
src/theory/quantifiers/sygus/term_database_sygus.cpp
src/theory/rewriter.cpp
src/theory/sets/theory_sets_private.cpp
src/theory/smt_engine_subsolver.h
src/theory/strings/base_solver.cpp
src/theory/strings/core_solver.cpp
src/theory/strings/extf_solver.cpp
src/theory/strings/regexp_elim.cpp
src/theory/strings/regexp_operation.cpp
src/theory/strings/regexp_solver.cpp
src/theory/strings/theory_strings_rewriter.cpp
src/theory/subs_minimize.cpp
src/theory/substitutions.cpp
src/theory/term_registration_visitor.cpp
src/theory/theory_engine.cpp
src/theory/theory_model.cpp
src/theory/theory_model_builder.cpp
src/theory/uf/equality_engine.cpp
src/theory/uf/ho_extension.cpp
src/theory/uf/symmetry_breaker.cpp
src/theory/uf/theory_uf_model.cpp