clang/test/Sema/warn-type-safety.cpp

   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