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

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 #define INT_TAG 42
   4
   5 static const int test_in
   6     __attribute__((type_tag_for_datatype(test, int))) = INT_TAG;
   7
   8 // Argument index: 1, Type tag index: 2
   9 void test_bounds_index(...)
  10     __attribute__((argument_with_type_tag(test, 1, 2)));
  11
  12 // Argument index: 1, Type tag index: 2
  13 void test_bounds_index_ptr(void *, ...)
  14     __attribute__((pointer_with_type_tag(test, 1, 2)));
  15
  16 // Argument index: 3, Type tag index: 1
  17 void test_bounds_arg_index(...)
  18     __attribute__((argument_with_type_tag(test, 3, 1)));
  19
  20 class C {
  21 public:
  22   // Argument index: 2, Type tag index: 3
  23   void test_bounds_index(...)
  24       __attribute__((argument_with_type_tag(test, 2, 3)));
  25
  26   // Argument index: 2, Type tag index: 3
  27   void test_bounds_index_ptr(void *, ...)
  28       __attribute__((pointer_with_type_tag(test, 2, 3)));
  29
  30   // Argument index: 4, Type tag index: 2
  31   void test_bounds_arg_index(...)
  32       __attribute__((argument_with_type_tag(test, 4, 2)));
  33 };
  34
  35 void test_bounds()
  36 {
  37   C c;
  38
  39   // Test the boundary edges (ensure no off-by-one) with argument indexing.
  40   test_bounds_index(1, INT_TAG);
  41   c.test_bounds_index(1, INT_TAG);
  42   test_bounds_index_ptr(0, INT_TAG);
  43   c.test_bounds_index_ptr(0, INT_TAG);
  44
  45   test_bounds_index(1);       // expected-error {{type tag index 2 is greater than the number of arguments specified}}
  46   c.test_bounds_index(1);     // expected-error {{type tag index 3 is greater than the number of arguments specified}}
  47   test_bounds_index_ptr(0);   // expected-error {{type tag index 2 is greater than the number of arguments specified}}
  48   c.test_bounds_index_ptr(0); // expected-error {{type tag index 3 is greater than the number of arguments specified}}
  49
  50   test_bounds_arg_index(INT_TAG, 1);   // expected-error {{argument index 3 is greater than the number of arguments specified}}
  51   c.test_bounds_arg_index(INT_TAG, 1); // expected-error {{argument index 4 is greater than the number of arguments specified}}
  52 }