reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    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

// RUN: %clang_cc1 -std=c++14 -fsyntax-only -verify %s

#include "Inputs/cuda.h"

template <typename T>
__global__ T foo() {
  // expected-note@-1 {{kernel function type 'T ()' must have void return type}}
}

void f0() {
  foo<void><<<0, 0>>>();
  foo<int><<<0, 0>>>();
  // expected-error@-1 {{no matching function for call to 'foo'}}
}

__global__ auto f1() {
}

__global__ auto f2(int x) {
  return x + 1;
  // expected-error@-2 {{kernel function type 'auto (int)' must have void return type}}
}

template <bool Cond, typename T = void> struct enable_if { typedef T type; };
template <typename T> struct enable_if<false, T> {};

template <int N>
__global__
auto bar() -> typename enable_if<N == 1>::type {
  // expected-note@-1 {{requirement '3 == 1' was not satisfied [with N = 3]}}
}

template <int N>
__global__
auto bar() -> typename enable_if<N == 2>::type {
  // expected-note@-1 {{requirement '3 == 2' was not satisfied [with N = 3]}}
}

void f3() {
  bar<1><<<0, 0>>>();
  bar<2><<<0, 0>>>();
  bar<3><<<0, 0>>>();
  // expected-error@-1 {{no matching function for call to 'bar'}}
}