1// RUN: %clang_cc1 -analyze -analyzer-checker=core -std=c++11 -fdelayed-template-parsing -verify %s
2// expected-no-diagnostics
3
4template <class T> struct remove_reference      {typedef T type;};
5template <class T> struct remove_reference<T&>  {typedef T type;};
6template <class T> struct remove_reference<T&&> {typedef T type;};
7
8template <typename T>
9typename remove_reference<T>::type&& move(T&& arg) { // this used to crash
10  return static_cast<typename remove_reference<T>::type&&>(arg);
11}
12