1*b0914e72SArtem Dergachev // RUN: %clang_analyze_cc1 %s -std=c++14 -analyzer-output=text -verify \
26952b82cSMandeep Singh Grang // RUN: -analyzer-checker=core,alpha.nondeterminism.PointerSorting
3c0773ab6SMandeep Singh Grang
4c0773ab6SMandeep Singh Grang #include "Inputs/system-header-simulator-cxx.h"
5c0773ab6SMandeep Singh Grang
f(int x)6c0773ab6SMandeep Singh Grang bool f(int x) { return true; }
g(int * x)7c0773ab6SMandeep Singh Grang bool g(int *x) { return true; }
8c0773ab6SMandeep Singh Grang
PointerSorting()9c0773ab6SMandeep Singh Grang void PointerSorting() {
106952b82cSMandeep Singh Grang int a = 1, b = 2;
11c0773ab6SMandeep Singh Grang std::vector<int> V1 = {a, b};
12c0773ab6SMandeep Singh Grang std::vector<int *> V2 = {&a, &b};
13c0773ab6SMandeep Singh Grang
14c0773ab6SMandeep Singh Grang std::is_sorted(V1.begin(), V1.end()); // no-warning
15c0773ab6SMandeep Singh Grang std::nth_element(V1.begin(), V1.begin() + 1, V1.end()); // no-warning
16c0773ab6SMandeep Singh Grang std::partial_sort(V1.begin(), V1.begin() + 1, V1.end()); // no-warning
17c0773ab6SMandeep Singh Grang std::sort(V1.begin(), V1.end()); // no-warning
18c0773ab6SMandeep Singh Grang std::stable_sort(V1.begin(), V1.end()); // no-warning
19c0773ab6SMandeep Singh Grang std::partition(V1.begin(), V1.end(), f); // no-warning
20c0773ab6SMandeep Singh Grang std::stable_partition(V1.begin(), V1.end(), g); // no-warning
21c0773ab6SMandeep Singh Grang
22c0773ab6SMandeep Singh Grang std::is_sorted(V2.begin(), V2.end()); // expected-warning {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
23c0773ab6SMandeep Singh Grang // expected-note@-1 {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
24c0773ab6SMandeep Singh Grang std::nth_element(V2.begin(), V2.begin() + 1, V2.end()); // expected-warning {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
25c0773ab6SMandeep Singh Grang // expected-note@-1 {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
26c0773ab6SMandeep Singh Grang std::partial_sort(V2.begin(), V2.begin() + 1, V2.end()); // expected-warning {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
27c0773ab6SMandeep Singh Grang // expected-note@-1 {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
28c0773ab6SMandeep Singh Grang std::sort(V2.begin(), V2.end()); // expected-warning {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
29c0773ab6SMandeep Singh Grang // expected-note@-1 {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
30c0773ab6SMandeep Singh Grang std::stable_sort(V2.begin(), V2.end()); // expected-warning {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
31c0773ab6SMandeep Singh Grang // expected-note@-1 {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
32c0773ab6SMandeep Singh Grang std::partition(V2.begin(), V2.end(), f); // expected-warning {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
33c0773ab6SMandeep Singh Grang // expected-note@-1 {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
34c0773ab6SMandeep Singh Grang std::stable_partition(V2.begin(), V2.end(), g); // expected-warning {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
35c0773ab6SMandeep Singh Grang // expected-note@-1 {{Sorting pointer-like elements can result in non-deterministic ordering}} [alpha.nondeterminism.PointerSorting]
36c0773ab6SMandeep Singh Grang }
37