34 lines · c
1// RUN: %clang_cc1 %s -fsyntax-only -fenable-matrix -verify2 3const char* test1 = 1 ? "i" : 1 == 1 ? "v" : "r";4 5void _efree(void *ptr);6void free(void *ptr);7 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 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 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.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); // ok30 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