[PATCH] D50488: [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements

[Artem Dergachev via Phabricator via cfe-commits]

NoQ accepted this revision.
NoQ added a comment.

Ok, thanks, sounds good! Let's land and see where it goes.



================
Comment at: test/Analysis/ptr-sort.cpp:4-25
+namespace std {
+  template<class ForwardIt>
+  bool is_sorted(ForwardIt first, ForwardIt last);
+
+  template <class RandomIt>
+  void nth_element(RandomIt first, RandomIt nth, RandomIt last);
+
----------------
Please feel free to put these directly into `system-header-simulator-cxx.h`.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D50488/new/

https://reviews.llvm.org/D50488