From: Adam Balogh Date: Mon, 10 Sep 2018 09:19:54 +0000 (+0000) Subject: [Analyzer] Commit fix for rL341790/rC341790 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cd3fec58a47ab13427d4babad145387a65482146;p=clang [Analyzer] Commit fix for rL341790/rC341790 Test file was accidentally not added for rL341790/rC341790 and subsequant patches. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@341795 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Analysis/mismatched-iterator.cpp b/test/Analysis/mismatched-iterator.cpp new file mode 100644 index 0000000000..7910b77c0b --- /dev/null +++ b/test/Analysis/mismatched-iterator.cpp @@ -0,0 +1,175 @@ +// RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.MismatchedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false %s -verify +// RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.MismatchedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=true -DINLINE=1 %s -verify + +#include "Inputs/system-header-simulator-cxx.h" + +void good_insert1(std::vector &v, int n) { + v.insert(v.cbegin(), n); // no-warning +} + + +void good_insert2(std::vector &v, int len, int n) { + v.insert(v.cbegin(), len, n); // no-warning +} + +void good_insert3(std::vector &v1, std::vector &v2) { + v1.insert(v1.cbegin(), v2.cbegin(), v2.cend()); // no-warning +} + +void good_insert4(std::vector &v, int len, int n) { + v.insert(v.cbegin(), {n-1, n, n+1}); // no-warning +} + +void good_insert_find(std::vector &v, int n, int m) { + auto i = std::find(v.cbegin(), v.cend(), n); + v.insert(i, m); // no-warning +} + +void good_erase1(std::vector &v) { + v.erase(v.cbegin()); // no-warning +} + +void good_erase2(std::vector &v) { + v.erase(v.cbegin(), v.cend()); // no-warning +} + +void good_emplace(std::vector &v, int n) { + v.emplace(v.cbegin(), n); // no-warning +} + +void good_ctor(std::vector &v) { + std::vector new_v(v.cbegin(), v.cend()); // no-warning +} + +void good_find(std::vector &v, int n) { + std::find(v.cbegin(), v.cend(), n); // no-warning +} + +void good_find_first_of(std::vector &v1, std::vector &v2) { + std::find_first_of(v1.cbegin(), v1.cend(), v2.cbegin(), v2.cend()); // no-warning +} + +void good_copy(std::vector &v1, std::vector &v2, int n) { + std::copy(v1.cbegin(), v1.cend(), v2.begin()); // no-warning +} + +void good_move_find1(std::vector &v1, std::vector &v2, int n) { + auto i0 = v2.cbegin(); + v1 = std::move(v2); + std::find(i0, v1.cend(), n); // no-warning +} + +void bad_insert1(std::vector &v1, std::vector &v2, int n) { + v2.insert(v1.cbegin(), n); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void bad_insert2(std::vector &v1, std::vector &v2, int len, int n) { + v2.insert(v1.cbegin(), len, n); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void bad_insert3(std::vector &v1, std::vector &v2) { + v2.insert(v1.cbegin(), v2.cbegin(), v2.cend()); // expected-warning{{Container accessed using foreign iterator argument}} + v1.insert(v1.cbegin(), v1.cbegin(), v2.cend()); // expected-warning{{Iterators of different containers used where the same container is expected}} + v1.insert(v1.cbegin(), v2.cbegin(), v1.cend()); // expected-warning{{Iterators of different containers used where the same container is expected}} +} + +void bad_insert4(std::vector &v1, std::vector &v2, int len, int n) { + v2.insert(v1.cbegin(), {n-1, n, n+1}); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void bad_erase1(std::vector &v1, std::vector &v2) { + v2.erase(v1.cbegin()); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void bad_erase2(std::vector &v1, std::vector &v2) { + v2.erase(v2.cbegin(), v1.cend()); // expected-warning{{Container accessed using foreign iterator argument}} + v2.erase(v1.cbegin(), v2.cend()); // expected-warning{{Container accessed using foreign iterator argument}} + v2.erase(v1.cbegin(), v1.cend()); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void bad_emplace(std::vector &v1, std::vector &v2, int n) { + v2.emplace(v1.cbegin(), n); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void good_move_find2(std::vector &v1, std::vector &v2, int n) { + auto i0 = --v2.cend(); + v1 = std::move(v2); + std::find(i0, v1.cend(), n); // no-warning +} + +void good_move_find3(std::vector &v1, std::vector &v2, int n) { + auto i0 = v2.cend(); + v1 = std::move(v2); + v2.push_back(n); + std::find(v2.cbegin(), i0, n); // no-warning +} + +void good_comparison(std::vector &v) { + if (v.cbegin() == v.cend()) {} // no-warning +} + +void bad_ctor(std::vector &v1, std::vector &v2) { + std::vector new_v(v1.cbegin(), v2.cend()); // expected-warning{{Iterators of different containers used where the same container is expected}} +} + +void bad_find(std::vector &v1, std::vector &v2, int n) { + std::find(v1.cbegin(), v2.cend(), n); // expected-warning{{Iterators of different containers used where the same container is expected}} +} + +void bad_find_first_of(std::vector &v1, std::vector &v2) { + std::find_first_of(v1.cbegin(), v2.cend(), v2.cbegin(), v2.cend()); // expected-warning{{Iterators of different containers used where the same container is expected}} + std::find_first_of(v1.cbegin(), v1.cend(), v2.cbegin(), v1.cend()); // expected-warning{{Iterators of different containers used where the same container is expected}} +} + +void bad_move_find1(std::vector &v1, std::vector &v2, int n) { + auto i0 = v2.cbegin(); + v1 = std::move(v2); + std::find(i0, v2.cend(), n); // expected-warning{{Iterators of different containers used where the same container is expected}} +} + +void bad_insert_find(std::vector &v1, std::vector &v2, int n, int m) { + auto i = std::find(v1.cbegin(), v1.cend(), n); + v2.insert(i, m); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void good_overwrite(std::vector &v1, std::vector &v2, int n) { + auto i = v1.cbegin(); + i = v2.cbegin(); + v2.insert(i, n); // no-warning +} + +void bad_overwrite(std::vector &v1, std::vector &v2, int n) { + auto i = v1.cbegin(); + i = v2.cbegin(); + v1.insert(i, n); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void good_move(std::vector &v1, std::vector &v2) { + const auto i0 = ++v2.cbegin(); + v1 = std::move(v2); + v1.erase(i0); // no-warning +} + +void bad_move(std::vector &v1, std::vector &v2) { + const auto i0 = ++v2.cbegin(); + v1 = std::move(v2); + v2.erase(i0); // expected-warning{{Container accessed using foreign iterator argument}} +} + +void bad_move_find2(std::vector &v1, std::vector &v2, int n) { + auto i0 = --v2.cend(); + v1 = std::move(v2); + std::find(i0, v2.cend(), n); // expected-warning{{Iterators of different containers used where the same container is expected}} +} + +void bad_move_find3(std::vector &v1, std::vector &v2, int n) { + auto i0 = v2.cend(); + v1 = std::move(v2); + std::find(v1.cbegin(), i0, n); // expected-warning{{Iterators of different containers used where the same container is expected}} +} + +void bad_comparison(std::vector &v1, std::vector &v2) { + if (v1.cbegin() != v2.cend()) { // expected-warning{{Iterators of different containers used where the same container is expected}} + *v1.cbegin(); + } +}