1  /* PR middle-end/83859 - attribute to establish relation between parameters
       2     for buffer and its size
       3     Test to verify the handling of attribute access (read_only) syntax.
       4     { dg-do compile }
       5     { dg-options "-Wall -ftrack-macro-expansion=0" } */
       6  
       7  int  __attribute__ ((access))
       8  access_v (void);       // { dg-error "wrong number of arguments specified for 'access' attribute" }
       9  
      10  int  __attribute__ ((access ()))
      11  access___v (void);     // { dg-error "wrong number of arguments specified for 'access' attribute" }
      12  
      13  int  __attribute__ ((access (rdonly)))
      14  rdonly_spelling (void);   // { dg-error "attribute .access. invalid mode 'rdonly'; expected one of 'read_only', 'read_write', 'write_only', or 'none'" }
      15  
      16  int  __attribute__ ((access (read_only)))
      17  rdonly_v_all (void);   // { dg-error "attribute .access\\(read_only\\). missing an argument" }
      18  
      19  int  __attribute__ ((access (read_only ())))
      20  rdonly___v_all (void);   // { dg-error "attribute 'access' unexpected '\\(' after mode 'read_only'; expected a positional argument or '\\)'" }
      21  // { dg-warning "implicit declaration of function 'read_only'" "" { target *-*-* } .-2 }
      22  
      23  
      24  int rdonly (void);
      25  
      26  int  __attribute__ ((access (rdonly ())))
      27  rdonly___v_all (void);   // { dg-error "attribute 'access' invalid mode 'rdonly'" }
      28  
      29  
      30  int  __attribute__ ((access (read_only)))
      31  rdonly_i_all (int);   // { dg-error "attribute .access\\(read_only\\). missing an argument" }
      32  
      33  #define rdonly       __attribute__ ((access (read_only)))
      34  #define RDONLY(...)  __attribute__ ((access (read_only, __VA_ARGS__)))
      35  
      36  int RDONLY (1)
      37  rdonly_pcv_1 (const void*);
      38  int RDONLY (2)
      39  rdonly_i_pcv_2 (int, const void*);
      40  int RDONLY (3)
      41  rdonly_i_i_pcv_3 (int, int, const void*);
      42  
      43  int RDONLY (0 + 1)
      44  rdonly_pcv_0p1 (const void*);
      45  
      46  int RDONLY (2 - 1)
      47  rdonly_pcv_2m1 (const void*);
      48  
      49  int RDONLY (1, 1)
      50  rdonly_pv_pi_1_1 (const void*, const int*);      // { dg-error "attribute 'access\\(read_only, 1, 1\\)' positional argument 2 references non-integer argument type 'const void \\*'" }
      51  
      52  int RDONLY (1, 2)
      53  rdonly_pcv_pc_1_2 (const void*, char*);   // { dg-error "attribute .access\\(read_only, 1, 2\\)' positional argument 2 references non-integer argument type 'char \\*'" }
      54  
      55  int RDONLY (2, 1)
      56  rdonly_pcd_pcv_2_1 (const double*, const void*);   // { dg-error "attribute .access\\(read_only, 2, 1\\)' positional argument 2 references non-integer argument type 'const double \\*'" }
      57  
      58  int RDONLY (2, 2)
      59  rdonly_pi_pcv_2_2 (int*, const void*);   // { dg-error "positional argument 2 references non-integer argument type 'const void \\*'" }
      60  
      61  int RDONLY (4)
      62  rdonly_i_i_i_4 (int, int, int);   // { dg-error "attribute 'access\\(read_only, 4\\)' positional argument 1 value 4 exceeds number of function arguments 3" }
      63  
      64  int RDONLY (1)
      65  rdonly_i_1 (int);   // { dg-error "attribute 'access\\(read_only, 1\\)' positional argument 1 references non-pointer argument type 'int'" }
      66  
      67  // It's okay if the pointer argument is non-const, although a separate
      68  // warning encouraging one might be worthwhile.  Maybe something like
      69  // -Wsuggest-const.
      70  int RDONLY (2)
      71  rdonly_i_pc (int, char*);
      72  
      73  int RDONLY (-1)
      74  rdonly_pcv_m1 (const void*);   // { dg-error "attribute 'access\\(read_only, -1\\)' positional argument 1 invalid value -1" }
      75  
      76  int RDONLY (1, -12345)
      77  rdonly_pcv_i_1_m12345 (const void*, int*);   // { dg-error "attribute 'access\\(read_only, 1, -12345\\)' positional argument 2 invalid value -12345" }
      78  
      79  int RDONLY ("blah")
      80  rdonly_pcv_str (const void*);   // { dg-error "attribute 'access\\(read_only, \"blah\"\\)' invalid positional argument 1" }
      81  
      82  int RDONLY (1, "foobar")
      83  rdonly_pcv_i_1_str (const void*, int);   // { dg-error "attribute 'access\\(read_only, 1, \"foobar\"\\)' invalid positional argument 2" }
      84  
      85  // Verify that attributes whose operands reference function pointers
      86  // are rejected.
      87  typedef int F (int, int);
      88  RDONLY (1) void rdwr_pf_1 (F*);   // { dg-error "attribute 'access\\(read_only, 1\\)' positional argument 1 references argument of function type 'F' \\{aka 'int\\(int,  *int\\)'\\}" }
      89  
      90  // Verify pointers to functions.
      91  void RDONLY(2) (*prdonly_pcv2)(int, const void*);
      92  void RDONLY(3, 1) (*prdonly_pcv2_1)(int, void*, const void*);
      93  
      94  // Verify types.
      95  typedef RDONLY (2) void rdonly_p2_t (const int*, const char*, const void*);
      96  typedef RDONLY (2) void rdonly_p2_1 (int, const int*);