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 (write_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 (wronly)))
      14  wronly_spelling (void);   // { dg-error "attribute .access. invalid mode 'wronly'; expected one of 'read_only', 'read_write', 'write_only', or 'none'" }
      15  
      16  int  __attribute__ ((access (read_only)))
      17  wronly_v_all (void);   // { dg-error "attribute .access\\(read_only\\). missing an argument" }
      18  
      19  int  __attribute__ ((access (read_only ())))
      20  wronly___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 wronly (void);
      25  
      26  int  __attribute__ ((access (wronly ())))
      27  wronly___v_all (void);   // { dg-error "attribute 'access' invalid mode 'wronly'" }
      28  
      29  #define WRONLY(...)  __attribute__ ((access (write_only, __VA_ARGS__)))
      30  
      31  int WRONLY (1)
      32  wronly_pcv_1 (void*);
      33  int WRONLY (2)
      34  wronly_i_pcv_2 (int, void*);
      35  int WRONLY (3)
      36  wronly_i_i_pcv_3 (int, int, void*);
      37  
      38  int WRONLY (0 + 1)
      39  wronly_pcv_0p1 (void*);
      40  
      41  int WRONLY (2 - 1)
      42  wronly_pcv_2m1 (void*);
      43  
      44  int WRONLY (1, 1)
      45  wronly_pv_pi_1_1 (void*, const int*);      // { dg-error "attribute 'access\\(write_only, 1, 1\\)' positional argument 2 references non-integer argument type 'void \\*'" }
      46  
      47  int WRONLY (1, 2)
      48  wronly_pcv_pc_1_2 (void*, char*);   // { dg-error "attribute .access\\(write_only, 1, 2\\)' positional argument 2 references non-integer argument type 'char \\*'" }
      49  
      50  int WRONLY (2, 1)
      51  wronly_pcd_pcv_2_1 (const double*, void*);   // { dg-error "attribute .access\\(write_only, 2, 1\\)' positional argument 2 references non-integer argument type 'const double \\*'" }
      52  
      53  int WRONLY (2, 2)
      54  wronly_pi_pcv_2_2 (int*, void*);   // { dg-error "positional argument 2 references non-integer argument type 'void \\*'" }
      55  
      56  int WRONLY (4)
      57  wronly_i_i_i_4 (int, int, int);   // { dg-error "attribute 'access\\(write_only, 4\\)' positional argument 1 value 4 exceeds number of function arguments 3" }
      58  
      59  int WRONLY (1)
      60  wronly_i_1 (int);   // { dg-error "attribute 'access\\(write_only, 1\\)' positional argument 1 references non-pointer argument type 'int'" }
      61  
      62  int WRONLY (2)
      63  wronly_i_pc (int, const char*);   // { dg-error "attribute 'access\\(write_only, 2\\)' positional argument 1 references 'const'-qualified argument type 'const char \\*'" }
      64  
      65  int WRONLY (-1)
      66  wronly_pcv_m1 (void*);   // { dg-error "attribute 'access\\(write_only, -1\\)' positional argument 1 invalid value -1" }
      67  
      68  int WRONLY (1, -12345)
      69  wronly_pcv_i_1_m12345 (void*, int*);   // { dg-error "attribute 'access\\(write_only, 1, -12345\\)' positional argument 2 invalid value -12345" }
      70  
      71  int WRONLY ("blah")
      72  wronly_pcv_str (void*);   // { dg-error "attribute 'access\\(write_only, \"blah\"\\)' invalid positional argument 1" }
      73  
      74  int WRONLY (1, "foobar")
      75  wronly_pcv_i_1_str (void*, int);   // { dg-error "attribute 'access\\(write_only, 1, \"foobar\"\\)' invalid positional argument 2" }
      76  
      77  // Verify that attributes whose operands reference function pointers
      78  // are rejected.
      79  typedef int F (int, int);
      80  WRONLY (1) void wronly_pf_1 (F*);   // { dg-error "attribute 'access\\(write_only, 1\\)' positional argument 1 references argument of function type 'F' \\{aka 'int\\(int,  *int\\)'\\}" }
      81  
      82  // Verify pointers to functions.
      83  void WRONLY(2) (*pwronly_pcv2)(int, void*);
      84  void WRONLY(3, 1) (*pwronly_pcv2_1)(int, void*, void*);
      85  void WRONLY(1, 2) (*pwronly_i_pcv_1_2)(int, void*);   // { dg-error "attribute 'access\\(write_only, 1, 2\\)' positional argument 1 references non-pointer argument type 'int'" }
      86  
      87  // Verify types.
      88  typedef WRONLY (2) void wronly_p2_t (const int*, char*, const void*);
      89  typedef WRONLY (2) void wronly_p2_1 (int, int*);