projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 788212a) | patch
prefer prefix ++ operator for iterators
authorPiotr Trojanek <piotr.trojanek@gmail.com>
Thu, 22 Aug 2019 21:22:51 +0000 (23:22 +0200)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 8 Oct 2019 18:03:44 +0000 (11:03 -0700)
commite7929d2cd241d8b4974d26b9e11f1378ba30b0e7
tree397a57a6769ee3e3d7a6ea6a646676b35f6c64bbtree
parent788212a3783affa634dc685b6f1b086f292c2528commit | diff
prefer prefix ++ operator for iterators

Detected with cppcheck static analyser, which said: (performance) Prefer
prefix ++/-- operators for non-primitive types. Reformat with clang-format
as needed.

Signed-off-by: Piotr Trojanek <piotr.trojanek@gmail.com>
src/theory/arith/arith_ite_utils.cpp diff | blob | history
src/theory/arrays/array_info.cpp diff | blob | history
src/theory/quantifiers/cegqi/ceg_instantiator.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rewriter.cpp diff | blob | history
src/theory/strings/regexp_operation.cpp diff | blob | history