mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-16 23:06:34 +00:00
9b2ec87f5b
In #115916 I allowed copying empty structs. Later in #115917 I changed how objects are copied, and basically when we would want to copy a struct (an LCV) of a single symbol (likely coming from an opaque fncall or invalidation), just directly bind that symbol instead of creating an LCV referring to the symbol. This was an optimization to skip a layer of indirection. Now, it turns out I should have apply the same logic in #115916. I should not have just blindly created an LCV by calling `createLazyBinding()`, but rather check if I can apply the shortcut described in #115917 and only create the LCV if the shortcut doesn't apply. In this patch I check if there is a single default binding that the copy would refer to and if so, just return that symbol instead of creating an LCV. There shouldn't be any observable changes besides that we should have fewer LCVs. This change may surface bugs in checkers that were associating some metadata with entities in a wrong way. Notably, STLAlgorithmModeling and DebugIteratorModeling checkers would likely stop working after this change. I didn't investigate them deeply because they were broken even prior to this patch. Let me know if I should migrate these checkers to be just as bugged as they were prior to this patch - thus make the tests pass.
631 lines
28 KiB
C++
631 lines
28 KiB
C++
// RUN: %clang_analyze_cc1 -std=c++17 %s\
|
|
// RUN: -analyzer-checker=core,cplusplus,alpha.cplusplus.STLAlgorithmModeling,debug.DebugIteratorModeling,debug.ExprInspection\
|
|
// RUN: -analyzer-config aggressive-binary-operation-simplification=true\
|
|
// RUN: -analyzer-config alpha.cplusplus.STLAlgorithmModeling:AggressiveStdFindModeling=true\
|
|
// RUN: -verify
|
|
|
|
// STLAlgorithmModeling and DebugIteratorModeling are probably bugged because
|
|
// these tests started failing after we just directly copy the symbol
|
|
// representing the value of a variable instead of creating a LazyCompoundVal
|
|
// of that single conjured value.
|
|
// In theory, it shouldn't matter if we eagerly copy the value that we would
|
|
// "load" from the LCV once requested or just directly binding the backing symbol.
|
|
// Yet, these tests fail, so there is likely messed up how/what the checker
|
|
// metadata is associated with.
|
|
// XFAIL: *
|
|
|
|
#include "Inputs/system-header-simulator-cxx.h"
|
|
|
|
void clang_analyzer_eval(bool);
|
|
|
|
template <typename Iterator>
|
|
long clang_analyzer_iterator_position(const Iterator&);
|
|
|
|
template <typename Iter> Iter return_any_iterator(const Iter &It);
|
|
|
|
void test_find1(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::find(i1, i2, n);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find2(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::find(std::execution::sequenced_policy(), i1, i2, n);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
bool odd(int i) { return i % 2; }
|
|
|
|
void test_find_if1(std::vector<int> V) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::find_if(i1, i2, odd);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_if2(std::vector<int> V) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::find_if(std::execution::sequenced_policy(), i1, i2, odd);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_if_not1(std::vector<int> V) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::find_if_not(i1, i2, odd);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_if_not2(std::vector<int> V) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::find_if_not(std::execution::sequenced_policy(), i1, i2,
|
|
odd);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_first_of1(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_first_of(i1, i2, i3, i4);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_first_of2(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_first_of(std::execution::sequenced_policy(),
|
|
i1, i2, i3, i4);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_first_of3(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_first_of(i1, i2, i3, i4, odd);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_first_of4(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_first_of(std::execution::sequenced_policy(),
|
|
i1, i2, i3, i4, odd);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_end1(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_end(i1, i2, i3, i4);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_end2(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_end(std::execution::sequenced_policy(),
|
|
i1, i2, i3, i4);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_end3(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_end(i1, i2, i3, i4, odd);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_find_end4(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::find_end(std::execution::sequenced_policy(),
|
|
i1, i2, i3, i4, odd);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
bool compare(int, int);
|
|
|
|
void test_lower_bound1(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::lower_bound(i1, i2, n);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_lower_bound2(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::lower_bound(i1, i2, n, compare);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_upper_bound1(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::upper_bound(i1, i2, n);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_upper_bound2(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::upper_bound(i1, i2, n, compare);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search1(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::search(i1, i2, i3, i4);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search2(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::search(std::execution::sequenced_policy(),
|
|
i1, i2, i3, i4);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search3(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::search(i1, i2, i3, i4, odd);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search4(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::search(std::execution::sequenced_policy(),
|
|
i1, i2, i3, i4, odd);
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search5(std::vector<int> V1, std::vector<int> V2) {
|
|
const auto i1 = return_any_iterator(V1.begin());
|
|
const auto i2 = return_any_iterator(V1.begin());
|
|
const auto i3 = return_any_iterator(V2.begin());
|
|
const auto i4 = return_any_iterator(V2.begin());
|
|
|
|
const auto i5 = std::search(i1, i2, std::default_searcher(i3, i4));
|
|
|
|
clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i5 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search_n1(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::search_n(i1, i2, 2, n);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search_n2(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::search_n(std::execution::sequenced_policy(),
|
|
i1, i2, 2, n);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search_n3(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::search_n(i1, i2, 2, n, compare);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|
|
|
|
void test_search_n4(std::vector<int> V, int n) {
|
|
const auto i1 = return_any_iterator(V.begin());
|
|
const auto i2 = return_any_iterator(V.begin());
|
|
|
|
const auto i3 = std::search_n(std::execution::sequenced_policy(),
|
|
i1, i2, 2, n, compare);
|
|
|
|
clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
|
|
|
|
if (i3 != i2) {
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
|
|
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
|
|
clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
|
|
clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
|
|
}
|
|
}
|