diff options
author | Piotr Trojanek <piotr.trojanek@gmail.com> | 2019-08-22 23:22:51 +0200 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-08 11:03:44 -0700 |
commit | e7929d2cd241d8b4974d26b9e11f1378ba30b0e7 (patch) | |
tree | 397a57a6769ee3e3d7a6ea6a646676b35f6c64bb /src/theory/strings/regexp_operation.cpp | |
parent | 788212a3783affa634dc685b6f1b086f292c2528 (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>
Diffstat (limited to 'src/theory/strings/regexp_operation.cpp')
-rw-r--r-- | src/theory/strings/regexp_operation.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/strings/regexp_operation.cpp b/src/theory/strings/regexp_operation.cpp index eaf016862..d2505f4f4 100644 --- a/src/theory/strings/regexp_operation.cpp +++ b/src/theory/strings/regexp_operation.cpp @@ -782,7 +782,7 @@ void RegExpOpr::firstChars(Node r, std::set<unsigned> &pcset, SetNodes &pvset) Trace("regexp-fset") << "END FSET(" << mkString(r) << ") = {"; for (std::set<unsigned>::const_iterator itr = pcset.begin(); itr != pcset.end(); - itr++) + ++itr) { if (itr != pcset.begin()) { @@ -1406,7 +1406,7 @@ Node RegExpOpr::intersectInternal( Node r1, Node r2, std::map< PairNodes, Node > Trace("regexp-int-debug") << "Try CSET(" << cset.size() << ") = {"; for (std::vector<unsigned>::const_iterator itr = cset.begin(); itr != cset.end(); - itr++) + ++itr) { //CVC4::String c( *itr ); if(itr != cset.begin()) { @@ -1419,7 +1419,7 @@ Node RegExpOpr::intersectInternal( Node r1, Node r2, std::map< PairNodes, Node > std::map< PairNodes, Node > cacheX; for (std::vector<unsigned>::const_iterator itr = cset.begin(); itr != cset.end(); - itr++) + ++itr) { std::vector<unsigned> cvec; cvec.push_back(String::convertCodeToUnsignedInt(*itr)); |