1 // RUN: %clang_cc1 %s -fsyntax-only -fenable-matrix -verify 2 3 const char* test1 = 1 ? "i" : 1 == 1 ? "v" : "r"; 4 5 void _efree(void *ptr); 6 void free(void *ptr); 7 _php_stream_free1(void)8int _php_stream_free1(void) { 9 return (1 ? free(0) : _efree(0)); // expected-error {{returning 'void' from a function with incompatible result type 'int'}} 10 } 11 _php_stream_free2(void)12int _php_stream_free2(void) { 13 return (1 ? _efree(0) : free(0)); // expected-error {{returning 'void' from a function with incompatible result type 'int'}} 14 } 15 pr39809(void)16void pr39809(void) { 17 _Generic(0 ? (int const *)0 : (void *)0, int const *: (void)0); 18 _Generic(0 ? (int const *)0 : (void *)1, void const *: (void)0); 19 _Generic(0 ? (int volatile*)0 : (void const*)1, void volatile const*: (void)0); 20 _Generic(0 ? (int volatile*)0 : (void const*)0, void volatile const*: (void)0); 21 } 22 23 // Ensure we compute the correct common type for extension types as well. GH69008(void)24void GH69008(void) { 25 typedef float mat4 __attribute((matrix_type(4, 4))); 26 typedef float mat5 __attribute((matrix_type(5, 5))); 27 28 mat4 transform; 29 (void)(1 ? transform : transform); // ok 30 31 mat5 other_transform; 32 (void)(1 ? other_transform : transform); // expected-error {{incompatible operand types ('mat5' (aka 'float __attribute__((matrix_type(5, 5)))') and 'mat4' (aka 'float __attribute__((matrix_type(4, 4)))'))}} 33 } 34