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