1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2 3 typedef struct ompi_datatype_t *MPI_Datatype; 4 5 #define OMPI_PREDEFINED_GLOBAL(type, global) ((type) &(global)) 6 7 #define MPI_FLOAT OMPI_PREDEFINED_GLOBAL(MPI_Datatype, ompi_mpi_float) 8 #define MPI_INT OMPI_PREDEFINED_GLOBAL(MPI_Datatype, ompi_mpi_int) 9 #define MPI_NULL OMPI_PREDEFINED_GLOBAL(MPI_Datatype, ompi_mpi_null) 10 11 extern struct ompi_predefined_datatype_t ompi_mpi_float __attribute__(( type_tag_for_datatype(mpi,float) )); 12 extern struct ompi_predefined_datatype_t ompi_mpi_int __attribute__(( type_tag_for_datatype(mpi,int) )); 13 extern struct ompi_predefined_datatype_t ompi_mpi_null __attribute__(( type_tag_for_datatype(mpi,void,must_be_null) )); 14 15 int f(int x) { return x; } 16 static const int wrong_init __attribute__(( type_tag_for_datatype(zzz,int) )) = f(100); // expected-error {{'type_tag_for_datatype' attribute requires the initializer to be an integral constant expression}} 17 18 //===--- Tests ------------------------------------------------------------===// 19 // Check that hidden 'this' is handled correctly. 20 21 class C 22 { 23 public: 24 void f1(void *buf, int count, MPI_Datatype datatype) 25 __attribute__(( pointer_with_type_tag(mpi,5,6) )); // expected-error {{attribute parameter 2 is out of bounds}} 26 27 void f2(void *buf, int count, MPI_Datatype datatype) 28 __attribute__(( pointer_with_type_tag(mpi,2,5) )); // expected-error {{attribute parameter 3 is out of bounds}} 29 30 void f3(void *buf, int count, MPI_Datatype datatype) 31 __attribute__(( pointer_with_type_tag(mpi,1,5) )); // expected-error {{attribute is invalid for the implicit this argument}} 32 33 void f4(void *buf, int count, MPI_Datatype datatype) 34 __attribute__(( pointer_with_type_tag(mpi,2,1) )); // expected-error {{attribute is invalid for the implicit this argument}} 35 36 void MPI_Send(void *buf, int count, MPI_Datatype datatype) 37 __attribute__(( pointer_with_type_tag(mpi,2,4) )); // no-error 38 }; 39 40 // Check that we don't crash on type and value dependent expressions. 41 template<int a> 42 void value_dep(void *buf, int count, MPI_Datatype datatype) 43 __attribute__(( pointer_with_type_tag(mpi,a,5) )); // expected-error {{attribute requires parameter 2 to be an integer constant}} 44 45 class OperatorIntStar 46 { 47 public: 48 operator int*(); 49 }; 50 51 void test1(C *c, int *int_buf) 52 { 53 c->MPI_Send(int_buf, 1, MPI_INT); // no-warning 54 c->MPI_Send(int_buf, 1, MPI_FLOAT); // expected-warning {{argument type 'int *' doesn't match specified 'mpi' type tag that requires 'float *'}} 55 c->MPI_Send(0, 0, MPI_INT); // no-warning 56 c->MPI_Send(nullptr, 0, MPI_INT); // no-warning 57 58 OperatorIntStar i; 59 c->MPI_Send(i, 1, MPI_INT); // no-warning 60 c->MPI_Send(i, 1, MPI_FLOAT); // expected-warning {{argument type 'int *' doesn't match specified 'mpi' type tag that requires 'float *'}} 61 } 62 63 template<typename T> 64 void test2(C *c, int *int_buf, T tag) 65 { 66 c->MPI_Send(int_buf, 1, tag); // no-warning 67 } 68 69 void test3(C *c, int *int_buf) { 70 test2(c, int_buf, MPI_INT); 71 test2(c, int_buf, MPI_NULL); 72 } 73 74
