| 12
 3
 4
 5
 6
 7
 8
 9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 
 | // RUN: %check_clang_tidy %s modernize-replace-random-shuffle %t
//CHECK-FIXES: #include <random>
namespace std {
template <typename T> struct vec_iterator {
  T *ptr;
  vec_iterator operator++(int);
};
template <typename T> struct vector {
  typedef vec_iterator<T> iterator;
  iterator begin();
  iterator end();
};
template <typename FwIt>
void random_shuffle(FwIt begin, FwIt end);
template <typename FwIt, typename randomFunc>
void random_shuffle(FwIt begin, FwIt end, randomFunc& randomfunc);
template <typename FwIt>
void shuffle(FwIt begin, FwIt end);
} // namespace std
// Random Func
int myrandom (int i) { return i;}
using namespace std;
int main() {
  std::vector<int> vec;
  std::random_shuffle(vec.begin(), vec.end());
  // CHECK-MESSAGES: [[@LINE-1]]:3: warning: 'std::random_shuffle' has been removed in C++17; use 'std::shuffle' instead
  // CHECK-FIXES: std::shuffle(vec.begin(), vec.end(), std::mt19937(std::random_device()()));
  std::shuffle(vec.begin(), vec.end());
  random_shuffle(vec.begin(), vec.end());
  // CHECK-MESSAGES: [[@LINE-1]]:3: warning: 'std::random_shuffle' has been removed in C++17; use 'std::shuffle' instead
  // CHECK-FIXES: shuffle(vec.begin(), vec.end(), std::mt19937(std::random_device()()));
  
  std::random_shuffle(vec.begin(), vec.end(), myrandom);
  // CHECK-MESSAGES: [[@LINE-1]]:3: warning: 'std::random_shuffle' has been removed in C++17; use 'std::shuffle' and an alternative random mechanism instead
  // CHECK-FIXES: std::shuffle(vec.begin(), vec.end(), std::mt19937(std::random_device()()));
  random_shuffle(vec.begin(), vec.end(), myrandom);
  // CHECK-MESSAGES: [[@LINE-1]]:3: warning: 'std::random_shuffle' has been removed in C++17; use 'std::shuffle' and an alternative random mechanism instead
  // CHECK-FIXES: shuffle(vec.begin(), vec.end(), std::mt19937(std::random_device()()));
  shuffle(vec.begin(), vec.end());
  return 0;
}
 |