diff options
| author | Maksim Denisov <denisov.maksim@huawei.com> | 2024-10-04 14:42:28 +0200 |
|---|---|---|
| committer | Maksim Denisov <denisov.maksim@huawei.com> | 2024-10-07 15:20:41 +0200 |
| commit | 0fc0d9118b5e525fa582de0286c8e83bb0da4e16 (patch) | |
| tree | 23acbc464d5f15ef16432fc9277de3a4a8abcb9d /src/utils/automata/dfa_minimizer.hpp | |
| parent | e5a6474d0b2a41586b1c7ead20f2098c8dc977e2 (diff) | |
| download | justbuild-0fc0d9118b5e525fa582de0286c8e83bb0da4e16.tar.gz | |
Disable misc-no-recursion check
...since we use recursion for trees a lot, but skip this check manually.
Diffstat (limited to 'src/utils/automata/dfa_minimizer.hpp')
| -rw-r--r-- | src/utils/automata/dfa_minimizer.hpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp index 5017b635..d536bd8b 100644 --- a/src/utils/automata/dfa_minimizer.hpp +++ b/src/utils/automata/dfa_minimizer.hpp @@ -196,7 +196,6 @@ class DFAMinimizer { } // Mark pair as distinguishable and recursively mark all parents. - // NOLINTNEXTLINE(misc-no-recursion) static void MarkPairValue(gsl::not_null<StatePairValue*> const& data) { data->marked = true; for (auto* parent : data->parents) { |