parser-c 0.3.0

Macros for parser-c.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

/* paragraph 6 */
void __t() {
  label1: __attribute__((unused))
  return;  
}

/* paragraph 7 */
struct __attribute__((unused)) s_1 { int m_1; } ;
struct s_2 { int m_2; } __attribute__((unused)) a;

/* p8-11: any list of specifiers and qualifiers at the start of a declaration
   may contain attribute specifiers. */

/* Not supported */
// __attribute__((deprecated)) l_1;             /* Defaults to int */

typedef struct s_1 S_1;
register __attribute__((deprecated)) l_2;
const __attribute__((deprecated))  l_4;
long __attribute__((deprecated))  l_6;
struct s_1 __attribute__((deprecated))  l_8;
S_1 __attribute__((deprecated))  l_10;
__attribute__((deprecated)) register l_3;
__attribute__((deprecated)) const l_5;
__attribute__((deprecated)) long l_7;
__attribute__((deprecated)) struct s_1 l_9;
__attribute__((deprecated)) S_1 l_11;

/* applies to all declarations */
static __attribute__((unused)) int *l_12_a, l_12_b(), *l_12_c;    
__attribute__((unused)) unsigned *l_13_a, l_13_b(), *l_13_c;    
const __attribute__((deprecated)) long __attribute__((deprecated)) long l_14;


/* Applies to decl */
__attribute__((noreturn)) int f_1_a_1();  
int __attribute__((noreturn)) f_1_a_2();  

/* Applies to declarator */
int __p, __attribute__((noreturn)) f_1_b();  

/* deprecated applies to all, noreturn only to e */
int 
  __attribute__((deprecated)) f_1_c(),
                              f_1_d(),
  __attribute__((noreturn))   f_1_e();

/* GCC test */
int f_1_c() { return f_1_d();  }; /* deprecation warning  */
int f_1_d() { return 2;  };       /* ok  */
int f_1_e() { return 3; };       /* warning: no-return returns */

int f_2() __attribute__((noreturn));  /* FunDeclr */

/* p16: belongs to preceeding declarator */

/* For illustration, the semantics of the const qualifier */

/* pointer to constant char  */
char const * c_1 = "abcde"; 
void mod_c_1_a() { c_1++; }     /* ok */
void mod_c_1_b() { (*c_1)++; } /* not ok */
/* constant pointer to char  */
char * const c_2;
void mod_c_2_a() { c_2++; }     /* not ok */
void mod_c_2_b() { (*c_2)++; } /* ok */

/* constant pointer to constant char */
char const * const c_3;
void mod_c_3_a() { c_3++; }     /* not ok */
void mod_c_3_b() { (*c_3)++; } /*  not ok */

/* using a (pseudo) attribute */
char * c_4_a;
char * __attribute__((const)) c_4_b;
char __attribute__((const)) * __attribute__((const)) c_4_c;
__attribute__((const)) char * __attribute__((const)) 
  c_4_d __asm__("c_4_" "$$" "b") __attribute((const));


/* constant pointer to a 0-ary function returning a pointer to constant char */
char const * (* const c_5) (void);
void mod_c_5_a() { c_5++; }     /* not ok */
void mod_c_5_c() { (*c_5())++; }  /* not ok */

/* From the GNU examples:
    pointer to non-returning function returning void */
void (__attribute__((noreturn)) *f) (void); 

/* A function declarator has the form   (attrs outer_declr)(params)   
                                  or    f (params) */


/* This would be a pointer to a 0-ary function returning a packed s_1 */
struct s_1 __attribute__((packed)) (*f) (void);

int __attribute__((packed)) g_1_a;

int (__attribute__((packed))  g_1);

int (__attribute__((packed)) *g_2) (void); 

/* pointer to non-returning function returning void */
void (__attribute__((noreturn)) *f) (void); 
/* y is a packed pointer to a packed pointer to a non-returning function returning int */
int x, 
  __attribute__((packed)) /* applies to `the next identifier',i.e. y */ 
   ( __attribute__((noreturn)) /* applies to the function */
    * __attribute__((packed))  /* applies to the function pointer */ 
    *
    *
    *y) () = 3;
/* A packed, non-aliased pointer to a packed, constant pointer to an
   function that doesn't return int */
void ( __attribute__((noreturn))
     * const __attribute__((packed))      
     * __restrict __attribute__((packed)) 
     fp) (void); 

/* p12: attribute specifier may appear imm. before the comma, = or semicolon
   terminating the declaration of an identifier.
   Such attributes apply to the declared object or function 
   The attribute must follow assembler names */
__attribute__((deprecated)) int i_1;
int i_2 __attribute__((deprecated));
void t_1() { if(l_1 > 0) ; }                /* warning: deprecation */

void foo() __attribute__((noreturn, noreturn))
           __attribute__((noreturn));
void * bar() __attribute__((noreturn));

int (__attribute__((noreturn)) function) (a, b)
     int a;
     int b;
{
  return a + b;
}

/* GNU example enumerator attributes */
enum E {
  oldval __attribute__((deprecated)),
  newval
};