aboutsummaryrefslogtreecommitdiff
path: root/clang/test/OpenMP/assume_template.cpp
blob: 2bf7567f675e997539d656b9a1ab16ae9ff5039e (plain)
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
45
46
47
48
// RUN: %clang_cc1 -verify -fopenmp -fopenmp-version=60 -ast-print %s | FileCheck %s
// RUN: %clang_cc1 -fopenmp -fopenmp-version=60 -x c++ -std=c++11 -emit-pch -o %t %s
// RUN: %clang_cc1 -fopenmp -fopenmp-version=60 -std=c++11 -include-pch %t -verify %s -ast-print | FileCheck %s
// expected-no-diagnostics

#ifndef HEADER
#define HEADER

extern int qux(int);

template<typename T>
int foo(T arg)
{
  #pragma omp assume no_openmp_routines
  {
    auto fn = [](int x) { return qux(x); };
// CHECK: auto fn = [](int x) {
    return fn(5);
  }
  #pragma omp assume no_openmp_constructs
  {
    auto fn = [](int x) { return qux(x); };
// CHECK: auto fn = [](int x) {
    return fn(6);
  }
}

template<typename T>
class C {
  T m;

public:
  T bar(T a);
};

// We're really just checking this parses.  All the assumptions are thrown
// away immediately for now.
template<typename T>
T C<T>::bar(T a)
{
  #pragma omp assume holds(sizeof(T) == 8) absent(parallel)
  {
    return (T)qux((int)a);
// CHECK: return (T)qux((int)a);
  }
}

#endif