1// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only -cl-std=CL1.2
2// expected-no-diagnostics
3
4void f1(double da) {
5  double d;
6  (void) 1.0;
7}
8
9#pragma OPENCL EXTENSION cl_khr_fp64 : enable
10
11void f2(void) {
12  double d;
13  (void) 1.0;
14}
15
16#pragma OPENCL EXTENSION cl_khr_fp64 : disable
17
18void f3(void) {
19  double d;
20}
21