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/options | |
| 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/options')
| -rwxr-xr-x | src/options/mkoptions.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py index 0dab2ed76..d9bc1a0bd 100755 --- a/src/options/mkoptions.py +++ b/src/options/mkoptions.py @@ -239,24 +239,24 @@ enum class {type} TPL_DECL_MODE_FUNC = \ """ std::ostream& -operator<<(std::ostream& out, {type} mode) CVC4_PUBLIC;""" +operator<<(std::ostream& os, {type} mode) CVC4_PUBLIC;""" TPL_IMPL_MODE_FUNC = TPL_DECL_MODE_FUNC[:-len(" CVC4_PUBLIC;")] + \ """ {{ - out << "{type}::"; + os << "{type}::"; switch(mode) {{{cases} default: Unreachable(); }} - return out; + return os; }} """ TPL_IMPL_MODE_CASE = \ """ case {type}::{enum}: - out << "{enum}"; + os << "{enum}"; break;""" TPL_DECL_MODE_HANDLER = \ |