| Akira Hatanaka | e974479 | 2017-09-20 06:32:45 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | |
| 3 | void escapefunc(int *); |
| 4 | void noescapefunc(__attribute__((noescape)) int *); |
| 5 | void (*escapefuncptr)(int *); |
| 6 | void (*noescapefuncptr)(__attribute__((noescape)) int *); |
| 7 | |
| 8 | void func_ne(__attribute__((noescape)) int *, int *); |
| 9 | void func_en(int *, __attribute__((noescape)) int *); |
| 10 | |
| 11 | void (*funcptr_ee)(int *, int *); |
| 12 | void (*funcptr_nn)(__attribute__((noescape)) int *, __attribute__((noescape)) int *); |
| 13 | |
| 14 | void test0(int c) { |
| 15 | escapefuncptr = &escapefunc; |
| 16 | escapefuncptr = &noescapefunc; |
| 17 | noescapefuncptr = &escapefunc; // expected-warning {{incompatible function pointer types assigning to 'void (*)(__attribute__((noescape)) int *)' from 'void (*)(int *)'}} |
| 18 | noescapefuncptr = &noescapefunc; |
| 19 | |
| 20 | escapefuncptr = c ? &escapefunc : &noescapefunc; |
| 21 | noescapefuncptr = c ? &escapefunc : &noescapefunc; // expected-warning {{incompatible function pointer types assigning to 'void (*)(__attribute__((noescape)) int *)' from 'void (*)(int *)'}} |
| 22 | |
| 23 | funcptr_ee = c ? &func_ne : &func_en; |
| 24 | funcptr_nn = c ? &func_ne : &func_en; // expected-warning {{incompatible function pointer types assigning to 'void (*)(__attribute__((noescape)) int *, __attribute__((noescape)) int *)' from 'void (*)(int *, int *)'}} |
| 25 | } |