clang/test/Sema/conditional.c

   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
   8 int _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
  12 int _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
  16 void 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.
  24 void 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 }